A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.
Mark E. StickelPublished in: J. Autom. Reason. (1988)
Keyphrases
- theorem prover
- theorem proving
- programming language
- first order logic
- logic programming
- inference rules
- functional programming
- term rewriting
- automated theorem proving
- expert systems
- automated reasoning
- formal proof
- computer algebra
- general purpose
- knowledge representation
- prolog programs
- natural deduction
- case study
- boolean algebra
- highly optimized
- logic programs
- knowledge base
- code generation
- future development
- proof search
- software engineering