Denotational and operational semantics for PROLOG.
Saumya K. DebrayPrateek MishraPublished in: Formal Description of Programming Concepts (1987)
Keyphrases
- operational semantics
- formal semantics
- logic programming
- model theoretic
- programming language
- mental states
- expert systems
- knowledge representation
- declarative semantics
- data model
- activity diagrams
- logic programming language
- agent programming
- knowledge base
- machine learning
- online learning
- constraint logic programming
- databases