A Denotational Semantics for Prolog.

Tim Nicholson Norman Y. Foo

Published in: ACM Trans. Program. Lang. Syst. (1989)

Keyphrases

denotational semantics
programming language
logic programming
object oriented
general purpose
high level
operational semantics
software engineering
query language
knowledge representation
abstract data types
data analysis
prolog programs