An Introduction to Prolog III

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

rivista o collana
book Communications of the ACM (CACM)