PROLOG

PROLOG
- C++ : langage procédural
- Prolog : langage déclaratif
- Prolog = PROgrammation LOGique
- Inventeur : Colmerauer en 1970
- Utilisé en intelligence artificielle
- exemples :
- problème des 8 reines
- SEND + MORE = MONEY
- ...

Le langage
- Un programme Prolog est une suite
de clauses :
- faits (X est un astre)
- règles (X est une planète si X est un
astre et X est un satellite d'une étoile)
- requêtes (Quels sont tous les astres ?)

Faits
- Prédicat(arg1, arg2, ... , argn)
- capitale(france,paris).
- astre(terre).
- étoile(soleil).
- satellite(terre,soleil).
- satellite(lune,terre).
- plus_petit_que(3,6).
- factoriel(0,1)

Règles
planète(X) :- astre(X), étoile(Y), satellite(X,Y).
oncle(X,Y) :- père(Z,Y),frère(Z,X).
Rmq : les variables commencent par une majuscule !

Requêtes
planète(terre).
yes
planète(X).
X = terre.
planète(soleil).
no