Semantics of a Logic Programming Language with a Reducibility Predicate.
Hisao TamakiPublished in: SLP (1984)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- declarative semantics
- situation calculus
- first order logic
- logic programs
- knowledge base
- answer sets
- answer set programming
- programming language
- constraint solving
- computational complexity
- deductive databases
- default logic
- database systems