Ici se termine notre promenade de Marseille dans l'histoire de Prolog.

Aujourd'hui, Prolog I est un langage normalisé, toujours vivant.

Norme ISO/IEC 13211-1:1995 – Prolog – Partie 1: Noyau général

D'autres langages ont imité ses successeurs et proposent à leur tour des contraintes pour programmer.

 

---

Si vous désirez poursuivre votre périple, voici quelques pistes à explorer :

J.A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle , Journal of the ACM, vol. 12, 1965.

Description formelle de la procédure de résolution pour la logique du premier ordre qui utilise comme brique de base l'algorithme d'unification pour rendre deux termes identiques. Cette publication est un pas en avant considérable dans le domaine de la démonstration automatique. Son auteur, John Alan Robinson (1930-2016), peut être vu comme le « grand-père » de la programmation en logique. L'unification va devenir en effet l'opération élémentaire de la machine Prolog.

Pages personnelles d'Alain Colmerauer (1941-2017).

Pages personnelles de Robert Kowalski.

Sources historiques et archives sur Prolog et la programmation en logique (musée de l'histoire de l'ordinateur, groupe de préservation des logiciels).

Autres liens

 

---