Operational and Denotational Semantics of Prolog.

Bijan Arbab Daniel M. Berry

Published in: J. Log. Program. (1987)

Keyphrases

denotational semantics
programming language
logic programming
operational semantics
object oriented
general purpose
knowledge base
high level
software engineering
decision making
abstract data types
machine learning
data streams
knowledge representation
incomplete information
prolog programs