Keyphrases
- function symbols
- logic programs
- higher order
- first order logic
- knuth bendix
- equational theories
- answer set programming
- normal form
- logic programming
- reasoning tasks
- horn clauses
- answer sets
- databases
- theorem prover
- multi agent
- artificial intelligence
- data sets
- inference rules
- deductive databases
- data model
- fixpoint
- datalog programs
- consistency checking
- genetic algorithm
- automated theorem proving
- tuple generating dependencies
- real world