Keyphrases
- logic programming language
- logic programming
- logic programs
- constraint logic programming
- answer set programming
- abductive reasoning
- inference rules
- declarative semantics
- deductive databases
- programming language
- nonmonotonic reasoning
- knowledge base
- knowledge representation
- situation calculus
- answer sets
- background knowledge
- default logic
- visual information
- general purpose
- constraint programming
- database systems