GNU Prolog

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 07/06/12
  • Correction mineure : 07/06/12
Mots-clés

GNU Prolog : compilateur natif pour Prolog avec résolveur de contraintes sur les Domaines Finis

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
  • Site web
  • Système : UNIX-like, Windows, MacOS X
  • Version actuelle : 1.4.1 - juin 2011
  • Licence(s) : GPL, LGPL
  • Etat : diffusé, stable
  • Support : maintenu, développement en cours
  • Concepteur(s) : Daniel Diaz. Autres participants au développement : Salvador Abreu, CENTRIA/Université d'Evora (mainteneur Debian officiel), Philippe Codognet (JFLI).
  • Contact concepteur(s) : Daniel.Diaz@univ-paris1.fr
  • Laboratoire(s), service(s)... : CRI, CENTRIA/Université d'Evora (Portugal), JFLI (Japon)

 

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.

Contexte d’utilisation du logiciel

GNU Prolog est un outil de développement (compilateur produisant du code natif). Il peut être utilisé pour l'enseignement de Prolog et de la Programmation par Contraintes.

GNU Prolog est utilisé dans des applications variées telles que : validation de spécifications de processeurs, régulation du trafic aérien, déplacements d'objets dans des environnements intelligents, vérification et configuration intelligente de lignes de produits, ...

Publications liées au logiciel

D. Diaz, S. Abreu and P. Codognet. “On the implementation of GNU Prolog”. Theory and Practice of Logic Programming (TPLP), special issue on Prolog Systems, Vol. 12, issue 1-2, 2012.

D. Diaz and P. Codognet. “Design and Implementation of the GNU Prolog System”. Journal of Functional and Logic Programming (JFLP), Vol. 2001, No. 6, October 2001.

P. Codognet and D. Diaz. “Compiling Constraints in clp(FD)”. Journal of Logic Programming (JLP), Vol. 27, No. 3, 1996.

P. Codognet, D. Diaz and F. Rossi. “Constraint Retraction in FD”. Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), Hyderabad, India, 1996.

B. Carlson, M. Carlsson and D. Diaz. “Entailment of Finite Domain Constraints”. International Conference on Logic Programming (ICLP), Santa Margherita, Italy, 1994.