A declarative extension of horn clauses, and its significance for datalog and its applications.
Mirjana MazuranEdoardo SerraCarlo ZanioloPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- horn clauses
- first order logic
- expressive power
- inference rules
- logic programs
- conceptual clustering
- inductive logic programming
- logic programming
- deductive databases
- knowledge representation
- query answering
- fixpoint
- integrity constraints
- database queries
- query language
- high level
- database
- datalog programs
- data complexity
- low level
- natural language
- artificial intelligence
- learning algorithm