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
plusGros('rhinocéros','cheval').
plusGros('cheval', 'chien').
plusGros('chien', 'chat').
plusGros('chat', 'hamster').
estPlusGros(X, Y) :-
plusGros(X, Y).
estPlusGros(X, Z) :-
plusGros(X, Y),
estPlusGros(Y, Z).
phrase(_) :-
plusGros(X, Y),
write('Le '), write(X), write(' est plus gros que le '), write(Y), nl.
phrase(_) :-
nl,
write('Donc: '), nl.
phrase(_) :-
estPlusGros(X, Y),
\+plusGros(X, Y),
write('Le '), write(X), write(' est plus gros que le '), write(Y), nl.
phrases :-
findall(X, phrase(X), _).
 Comment installer Prolog ?
Sous Windows : télécharger l'un des programmes mentionnés précédemment et l'installer.