A Prolog technology theorem prover
- 1 December 1984
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 2 (4) , 371-383
- https://doi.org/10.1007/bf03037328
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The occur-check problem in PrologNew Generation Computing, 1984
- Refutation graphsArtificial Intelligence, 1976
- A Hole in Goal Trees: Some Guidance from Resolution TheoryIEEE Transactions on Computers, 1976
- An Implementation of the Model Elimination Proof ProcedureJournal of the ACM, 1974
- Linear resolution with selection functionArtificial Intelligence, 1972
- The technology chess programArtificial Intelligence, 1972
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969