Keyphrases
- logic programming
- existentially quantified
- rule learning
- knowledge representation
- logic programs
- knowledge base
- programming language
- expert systems
- association rules
- nonmonotonic reasoning
- abductive reasoning
- predicate invention
- classification rules
- background knowledge
- object oriented
- information systems
- rule sets
- recursive queries
- logic programming language
- prolog programs
- abstract machine
- constraint logic programming
- active databases
- answer set programming
- deductive databases
- data sets
- data mining
- neural network