Keyphrases
- user defined
- nonmonotonic reasoning
- default reasoning
- logic programming
- belief revision
- default logic
- data types
- higher order
- equational theories
- theorem proving
- query language
- knowledge representation
- logic programs
- query processor
- knuth bendix
- knowledge representation formalisms
- databases
- theorem prover
- data structure