Operational Semantics for DCGs.

François Barthélemy

Published in: JFPLC (1994)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
denotational semantics
agent programming
data model
cooperative
speech acts
declarative semantics
database
databases
machine learning
multi agent
activity diagrams