Compositional Operational Semantics for Prolog Programs.

Mantis H. M. Cheng R. Nigel Horspool Michael R. Levy M. H. van Emden

Published in: New Gener. Comput. (1992)

Keyphrases

operational semantics
prolog programs
logic programs
formal semantics
model theoretic
denotational semantics
data model
answer set programming
mental states
agent programming
activity diagrams
machine learning
general purpose
description logics
speech acts