Keyphrases
- stable models
- logic programming
- logic programs
- answer set programming
- normal logic programs
- deductive databases
- programming language
- relational databases
- domain knowledge
- constraint logic programming
- classical logic
- computational logic
- databases
- knowledge representation language
- nonmonotonic reasoning
- propositional logic
- general purpose
- software engineering
- high level
- artificial intelligence