A prolog technology theorem prover: Implementation by an extended prolog compiler
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Logic machine architecture: Inference mechanismsPublished by Springer Nature ,2005
- Logic machine architecture: Kernel functionsPublished by Springer Nature ,2005
- Describing Prolog by its interpretation and compilationCommunications of the ACM, 1985
- Depth-first iterative-deepeningArtificial Intelligence, 1985
- A Prolog technology theorem proverNew Generation Computing, 1984
- 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
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969