Keyphrases
- automated deduction
- abstract interpretation
- termination analysis
- static analysis
- active rules
- theorem proving
- model checking
- deductive databases
- theorem prover
- active databases
- logic programming
- reasoning engine
- inference rules
- dynamic analysis
- first order logic
- programming language
- relational databases
- data mining
- temporal logic
- general purpose