Denotational and Operational Semantics for Prolog.
Saumya K. DebrayPrateek MishraPublished in: J. Log. Program. (1988)
Keyphrases
- operational semantics
- logic programming
- formal semantics
- expert systems
- denotational semantics
- model theoretic
- programming language
- mental states
- data model
- activity diagrams
- knowledge representation
- knowledge base
- logic programming language
- constraint logic programming
- databases
- agent programming
- database
- theorem proving
- language learning
- artificial intelligence