Theorem Proving Applications for QU-Prolog.
Peter J. RobinsonJohn StaplesAnthony S. K. ChengPublished in: ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Keyphrases
- theorem proving
- automated reasoning
- first order logic
- decision procedures
- automatic programming
- inference rules
- automated deduction
- theorem prover
- term rewriting
- logical inference
- geometry theorem proving
- proof planning
- parallel search
- combinatorial search
- proof procedure
- distributed search
- consequence finding
- predicate calculus