GNU Prolog
Fonctionnalités générales du logiciel
GNU Prolog est un compilateur natif pour le langage Prolog incluant un puissant résolveur de contraintes sur les Domaines Finis et les Booléens. Il est conforme à la norme ISO (Core 1 + corrigendum 1 et 2).
GNU Prolog est disponible sur la plupart des architectures (Unix et Windows, 32 et 64 bits). Il fait partie intégrante du catalogue officiel de l'organisation GNU (www.gnu.org) et il est un composant standard de la plupart des distributions GNU/Linux.
GNU Prolog est basé sur 2 logiciels précédemment développés par le même auteur : wamcc (un compilateur natif pour Prolog) et clp(FD) un Langage de Programmation Logique par contraintes sur les Domaines Finis.