The early years of logic programming

Authors:
Robert A. Kowalski
Affiliations:
Univ. of London, London, UK
Venue:
Communications of the ACM
Year:
1988

Citing 9
Cited 15

Logic for problem-solving

Logic for problem-solving
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Mechanical Theorem-Proving by Model Elimination

Journal of the ACM (JACM)
Two Results on Ordering for Resolution with Merging and Linear Format

Journal of the ACM (JACM)
Proving Theorems about LISP Functions

Journal of the ACM (JACM)
A Proof Procedure Using Connection Graphs

Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Algorithm = logic + control

Communications of the ACM
Logic for Problem Solving

Logic for Problem Solving

SLD: a folk acronym?

ACM SIGPLAN Notices
Logic and logic programming

Communications of the ACM
Notes on implementing sets in Prolog

Communications of the ACM
15th July 1972: a significant moment for logic programming

ACM SIGPLAN Notices
The birth of Prolog

HOPL-II The second ACM SIGPLAN conference on History of programming languages
Deductive database languages: problems and solutions

ACM Computing Surveys (CSUR)
Search in concurrent logic languages

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
The Automation of Proof: A Historical and Sociological Exploration

IEEE Annals of the History of Computing
Disjunctive Logic Programming: A Survey and Assessment

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Bob Kowalski: A Portrait

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A tribute to Alain Colmerauer

Theory and Practice of Logic Programming
The birth of Prolog

History of programming languages---II
Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses
CLP(QS): a declarative spatial reasoning framework

COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Datalog relaunched: simulation unification and value invention

Datalog'10 Proceedings of the First international conference on Datalog Reloaded

Quantified Score

Hi-index	48.25

Visualization

Abstract

This firsthand recollection of those early days of logic programming traces the shared influences and inspirations that connected Edinburgh, Scotland, and Marseilles, France.