Keyphrases
- horn clauses
- first order logic
- logic programs
- inference rules
- fixpoint
- inductive logic programming
- theorem proving
- elimination algorithm
- logic programming
- database queries
- function symbols
- feature selection
- deductive databases
- containment of conjunctive queries
- data sets
- relational databases
- data structure
- real world