Keyphrases
- horn clauses
- logic programs
- logic programming
- fixpoint
- deductive databases
- first order logic
- inductive logic programming
- compositional semantics
- predicate logic
- inference rules
- database
- query answering
- query processing
- fixed point
- real world
- truth values
- containment of conjunctive queries
- derivation rules
- neural network