GNU Prolog (32-bit) 1.4.3
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...