Doit avoir Interprètes et compilateurs Pour Daniel Diaz
GNU Prolog est un compilateur Prolog gratuit avec résolution de contraintes sur les domaines finis. GNU Prolog Prolog accepte des programmes de contraintes et produit binaires natifs (comme gcc fait à partir d'une source de C). L'exécutable obtenu...
GNU Prolog est un compilateur Prolog gratuit avec résolution de contraintes sur les domaines finis. GNU Prolog Prolog accepte des programmes de contraintes et produit binaires natifs (comme gcc fait à partir d'une source de C). L'exécutable obtenu...
Logiciels consultés récemment