An Introduction to Prolog III

@article{prologiii-cacm33,
   abstract = {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.},
   apice = {PrologiiiCacm33},
   author = {Alain Colmerauer},
   doi = {10.1145/79204.79210},
   journal = {Communications of the ACM},
   month = {July},
   number = 7,
   numpages = 22,
   pages = {69--90},
   publisher = {ACM},
   title = {An Introduction to Prolog III},
   volume = 33,
   year = 1990
}