Keyphrases
- order sorted
- termination analysis
- predicate logic
- active rules
- presburger arithmetic
- active databases
- rewrite rules
- rewrite systems
- query rewriting
- term rewrite systems
- type checking
- rewriting rules
- queries using views
- conjunctive queries
- expert systems
- domain knowledge
- machine learning
- datalog programs
- computational linguistics
- deductive databases