Keyphrases
- horn clauses
- logic programs
- logic programming
- query answering
- predicate logic
- probabilistic databases
- inference rules
- first order logic
- fixed point
- deductive databases
- stable models
- compositional semantics
- search algorithm
- inductive logic programming
- derivation rules
- containment of conjunctive queries
- datalog programs
- database
- data sources
- evolutionary algorithm
- artificial intelligence
- information retrieval