Keyphrases
- horn clauses
- logic programs
- logic programming
- deductive databases
- first order logic
- compositional semantics
- predicate logic
- fixed point
- query answering
- fixpoint
- inductive logic programming
- containment of conjunctive queries
- decision procedures
- inference rules
- machine learning
- data mining
- data structure
- artificial intelligence