Présentation

Le langage PROLOG (PROgrammation en LOGique) fut introduit en 1972 par

Alain COLMERAUER. Ce langage permet d'écrire des programmes sous une forme très
proche de la logique des prédicats du premier ordre.C'est un langage :
•déclaratif (contrairement aux langages impératifs comme Java, C++, Python, etc.) : il
permet de déclarer des connaissances, sans expliciter leur traitement  ;
•indéterministe : il permet le traitement de problèmes comportant plusieurs solutions.
•Dans un programme PROLOG, on retrouve toujours :Des connaissances, décrivant des
faits, regroupés dans une base de faits (BF),
• Des règles applicables aux faits, regroupés dans une base de règles (BR).BF + BR = BC
(Base de connaissances)
•Un moteur d'inference (M.I.) intégré dans le langage, qui permet d'"appliquer" les règles
aux faits
 Implémentation
Parmi les outils permettant de programmer en PROLOG, on peut citer:
• SWI PROLOG : possède un débuggeur graphique ainsi que plusieurs solveurs de
• contraintes, développé par l'Université d'Amsterdam(http://www.swi-prolog.org/).
• GNU PROLOG : développé par l'INRIA, propose un solveur de contraintes sur
• domaine fini(http://gnu-prolog.inria.fr/).
• Sicstus PROLOG(payant): possède des extensions en plus, dont plusieurs solveurs
• de contraintes(www.sics.se/sicstus) .
• Turbo PROLOG par Borland, désormais abandonné.
• Open PROLOG(http://www.cs.tcd.ie/open-prolog/).
• Visual PROLOG(http://www.visual-prolog.com/).
• Prologia PROLOG II+ : est une version améliorée de PROLOG II, avec aide
• conséquente consultable (http://www.prologia.fr/).
• Ciao Prolog.
• Prolog.NET, développé à l'Institut de Technologie de l'Oregon.
• Qu-Prolog, un prolog multithread développé par l'Université du Queensland.
• Quintus Prolog, développé par le Swedish Institute for Computer Science.
• Rebol Prolog.
• Strawberry Prolog………
 Comment installer Prolog ?
Sous Windows : télécharger l'un des programmes mentionnés précédemment et l'installer.