An Algebraic Semantics of Prolog Program Termination.
Brian J. RossAlan SmaillPublished in: ICLP (1991)
Keyphrases
- semantically equivalent
- logic programming
- declarative semantics
- prolog programs
- logic programming language
- logic programs
- active rules
- rewrite systems
- programming language constructs
- programming language
- intended meaning
- stable model semantics
- deductive databases
- partial deduction
- expert systems
- stable models
- control flow
- knowledge representation
- constraint logic programming
- abstract machine
- high level
- computer programs
- inference engine
- answer set programming
- data model
- knowledge base
- operational semantics
- programming environment
- formal semantics
- static analysis
- answer sets