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é.
Bonjour, nous avons détecté que vous utilisez un Adblockeur.
Un Adblockeur est un logiciel ou une extension pour votre navigateur qui bloque les publicités pour ne pas déranger. Votre navigation est ainsi plus agréable, mais ce genre d'outils est extrêmement néfaste pour les créateurs de sites internet. Nous essayons de vous proposer des contenus de qualité, alors merci de jouer le jeu pour nous permettre d'obtenir des revenus avec la publicité ce qui est très important pour notre activité.
Merci donc de désactiver votre Adblockeur ou de mettre le site en liste blanche.