Describing Prolog by its interpretation and compilation

1 December 1985

journal article
Published by Association for Computing Machinery (ACM) in Communications of the ACM

Vol. 28 (12) , 1311-1324
https://doi.org/10.1145/214956.214960

Abstract

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.

Keywords

This publication has 7 references indexed in Scilit:

Logic programming
Communications of the ACM, 1985
Logic Programming and Prolog: A Tutorial
IEEE Software, 1985
Parser generation and grammar manipulation using prolog's infinite trees
The Journal of Logic Programming, 1984
On the sequential nature of unification
The Journal of Logic Programming, 1984
Programming in Prolog
Published by Springer Nature ,1984
Non-Deterministic Algorithms
ACM Computing Surveys, 1979
Logic and Data Bases
Published by Springer Nature ,1978