A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.
Mark E. StickelPublished in: CADE (1986)
Keyphrases
- theorem prover
- theorem proving
- programming language
- logic programming
- functional programming
- automated reasoning
- term rewriting
- first order logic
- inference rules
- prolog programs
- automated theorem proving
- knowledge representation
- expert systems
- general purpose
- formal proof
- case study
- proof planning
- computer algebra
- natural deduction
- timed automata
- artificial intelligence
- mathematical knowledge
- abstract machine