A Formal Operational Semantics for Languages of Type Prolog III.
Egon BörgerPeter H. SchmittPublished in: CSL (1990)
Keyphrases
- operational semantics
- model theoretic
- formal semantics
- mental states
- type checking
- data model
- logic programming
- denotational semantics
- formal language
- activity diagrams
- databases
- programming paradigms
- programming language
- constraint logic programming
- agent programming
- functional programming
- case study
- natural language processing
- expert systems
- machine learning