Describing Prolog by its interpretation and compilation
Jacques Cohen · Communications of the ACM · 1985
Since its conception, Prolog has followed a developmental course similar to the early evolution of LISP. Although the version of Prolog described here typifies that currently in use, it should be considered within the framework of language evolution.