Logic and logic programming
- 1 March 1992
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 35 (3) , 40-65
- https://doi.org/10.1145/131295.131296
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- The early years of logic programmingCommunications of the ACM, 1988
- On the sequential nature of unificationThe Journal of Logic Programming, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Linear resolution with selection functionArtificial Intelligence, 1972
- Refinement theorems in resolution theoryPublished by Springer Nature ,1970
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965
- Theorem-Proving on the ComputerJournal of the ACM, 1963
- A Mechanical Proof Procedure and its Realization in an Electronic ComputerJournal of the ACM, 1960
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936