1972 : Le premier interpréteur Prolog
à l'Université de Marseille

A la base, Prolog est un démonstrateur de théorèmes à la Robinson, restreint au sous-ensemble des clauses de Horn de la logique du premier ordre. Ses programmes sont composés de règles d'implication :

conclusion₀    si    condition₁  et  condition₂  et ...   condition_n.

Interprétation procédurale :

pour prouver conclusion₀,
prouver condition₁  puis  prouver condition₂  puis ...  prouver condition_n.

Le moteur déroule une stratégie de preuve linéaire, avec retour-arrière (backtracking).

Description du Prolog préliminaire :

• Un système de communication homme-machine en Français, par A. Colmerauer et al.,
  Groupe de recherche en Intelligence Artificielle, Faculté des Sciences de Luminy, 1973.

Manuel de la version définitive :

• Prolog, manuel de référence et d'utilisation, par Ph. Roussel,
  Groupe de recherche en Intelligence Artificielle, Faculté des Sciences de Luminy, 1975.

"Most Prolog systems in the world owe their parentage to the original Marseille interpreter" (W.F. Clocksin & C.S. Mellish).

---