The early years of logic programming
- 1 January 1988
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 31 (1) , 38-43
- https://doi.org/10.1145/35043.35046
Abstract
This firsthand recollection of those early days of logic programming traces the shared influences and inspirations that connected Edinburgh, Scotland, and Marseilles, France.Keywords
This publication has 10 references indexed in Scilit:
- Algorithm = logic + controlCommunications of the ACM, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Linear resolution with selection functionArtificial Intelligence, 1972
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- Refinement theorems in resolution theoryPublished by Springer Nature ,1970
- A linear format for resolutionPublished by Springer Nature ,1970
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965