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).|