This ends our Marseille tour of the history of Prolog.

Today Prolog I is a normalized language, still living.

ISO/IEC Standard 13211-1:1995 – Prolog – Part 1: General core

Other languages have imitated its successors and now offer constraints for programming.

 

---

If you want to pursue your journey, here are a few suggestions:

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

Formal description of the resolution procedure for first-order logic which uses the unification algorithm as a basic building block for making two terms identical. This publication is a great step forward in the domain of automated reasoning. Its author, John Alan Robinson (1930-2016), can be viewed as the 'grandfather' of logic programming. Unification is indeed going to become the atomic operation of the Prolog machinery.

Alain Colmerauer's home page (1941-2017).

Robert Kowalski's home page.

Prolog and Logic Programming Historical Sources Archive (Computer History Museum, Software Preservation Group).

Other links

 

---