A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
Prolog - the language and its implementation compared with Lisp
1977
Proceedings of the 1977 symposium on Artificial intelligence and programming languages -
Prolog is a Simple but powerful programming language founded on symbolic logic. The basic computational mechanism is a pattern matching process ("unification") operating on general record structures ("terms" of logic). We briefly review the language and compare it especially with pure Lisp. The remainder of the paper discusses techniques for implementing Prolog efficiently; in particular we describe how to compile the patterns involved in the matching process. These techniques are as
doi:10.1145/800228.806939
fatcat:pmuggpyy3feihpfkbm5o4cribe