Télécharger Gnu prolog pour Linux, Mac et Windows

Gnu-Prolog est un compilateur CLP(FD) .

A côté de la production de binaires natifs, Gnu-Prolog offre un interpréteur interactif classique (top-level) avec un déboggeur.

La partie Prolog de Gnu-Prolog est conforme au standard ISO.

Il offre également des extensions comme les variables globales, l'interface avec le système sous-jacent, les sockets, etc.

Gnu-Prolog renferme un intéressant solveur de contraintes sur les domaines finis.

Attention, utilisateur Linux, vous devez télécharger le code source et le compilé.