An introduction to Prolog III
Alain Colmerauer · Communications of the ACM · 1990
The Prolog III programming language extends Prolog by redefining the fundamental process at its heart: unification. This article presents the specifications of this new language and illustrates its capabilities.