Multi-Prolog: Definition, Operational Semantics and Implementation.

Koenraad De Bosschere Jean-Marie Jacquet

Published in: ICLP (1993)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
declarative semantics
mental states
knowledge base
software engineering
logic programming
logic programming language
agent communication language
databases
knowledge representation
programming language
denotational semantics