Keyphrases
- logic programming
- logic programs
- compositional semantics
- stable models
- fixed point semantics
- stable model semantics
- derivation rules
- semantics for logic programs
- containment of conjunctive queries
- fixpoint semantics
- semantic information
- deductive databases
- open world
- formal semantics
- predicate logic
- logic programming language
- artificial intelligence
- normal logic programs
- extended logic programs
- semantics of logic programs
- knowledge representation
- knowledge base