GNU Prolog votes

Il est gratuit compilateur Prolog avec la résolution de contraintes sur les corps finis les domaines