A Declarative Semantics for the Prolog Cut Operator.
Karl StroetmannThomas GlaßPublished in: ELP (1996)
Keyphrases
- declarative semantics
- logic programming language
- logic programming
- logic programs
- constraint logic programming
- deductive databases
- inference rules
- situation calculus
- knowledge representation
- answer set programming
- default logic
- inductive logic programming
- nonmonotonic reasoning
- fixpoint
- operational semantics
- knowledge base
- machine learning