Some Comments on "A Denotational Semantics for Prolog".

Bijan Arbab Daniel M. Berry

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

Keyphrases

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