An Introduction to Prolog III

   page       BibTeX_logo.png       attach   
Alain Colmerauer
Communications of the ACM 33(7), pages 69–90
July 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.

journal or series
book Communications of the ACM (CACM)