On the Operational Semantics of the Algebraic and Logic Programming Language LPG.
Didier BertRachid EchahedPublished in: COMPASS/ADT (1994)
Keyphrases
- operational semantics
- logic programming language
- declarative semantics
- logic programming
- constraint logic programming
- inference rules
- formal semantics
- situation calculus
- denotational semantics
- mental states
- model theoretic
- activity diagrams
- data model
- constraint solving
- deductive databases
- agent programming
- logic programs
- nonmonotonic reasoning
- dynamic environments
- general purpose