Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- first order logic
- automated theorem proving
- inference rules
- term rewriting
- natural deduction
- automated deduction
- computer algebra
- formal semantics
- formal proof
- higher order logic
- rapid development
- data processing
- programming language
- computer systems
- boolean algebra
- case study
- cost effective
- prolog programs
- proof search
- knowledge representation
- machine learning