Keyphrases
- stable models
- datalog programs
- logic programs
- fixpoint
- logic programming
- deductive databases
- normal logic programs
- magic sets
- answer set programming
- stable model semantics
- recursive queries
- finite state machines
- fixpoint semantics
- nonmonotonic reasoning
- databases
- integrity constraints
- declarative semantics
- relational database systems