A Prolog technology theorem prover: a new exposition and implementation in Prolog
- 5 October 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 104 (1) , 109-128
- https://doi.org/10.1016/0304-3975(92)90168-f
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- SETHEO: A high-performance theorem proverJournal of Automated Reasoning, 1992
- The Aurora or-parallel Prolog systemNew Generation Computing, 1990
- Non-Horn clause logic programming without contrapositivesJournal of Automated Reasoning, 1988
- Causes for events: Their computation and applicationsPublished by Springer Nature ,1986
- Depth-first iterative-deepeningArtificial Intelligence, 1985
- An Implementation of the Model Elimination Proof ProcedureJournal of the ACM, 1974
- Linear resolution with selection functionArtificial Intelligence, 1972
- A note on linear resolution strategies in consequence-findingArtificial Intelligence, 1972
- The technology chess programArtificial Intelligence, 1972
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969