Communications of the ACM · 1985 · 56 citations · 15 references
ComputingComputer ScienceCompilersLanguage DevelopmentProgramming LanguagesAbstract Syntax TreesLanguage ModelsSyntactic DevelopmentLanguage EvolutionMapping From Syntax To Semantics
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.
15
The Semantics of Predicate Logic as a Programming Language
M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text
Humanities, Computer Science, Logic +16
Robert Kowalski · Communications of the ACM · 1979 · 602 citations · Full text