# The early years of logic programming

@article{Kowalski1988TheEY, title={The early years of logic programming}, author={Robert A. Kowalski}, journal={Commun. ACM}, year={1988}, volume={31}, pages={38-43} }

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

## 167 Citations

Introduction to Logic Programming

- Computer ScienceSynthesis Lectures on Artificial Intelligence and Machine Learning
- 2020

Abstract Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic...

Development of Logic Programming : What went wrong

- Computer Science
- 2008

The focus of this paper is on the development of Logic Programming, and it does not treat any other associated topics related to Logic Programming such as constraints.

Compiling Prolog From the PLM to the WAM and Beyond

- Computer Science
- 1990

This paper summarizes efforts to develop an efficient scheme for compiling the computer language Prolog and describes the current state of the art.

Automation of Mathematical Induction as part of the History of Logic

- MathematicsFLAP
- 2017

The history of the automation of mathematical induction is reviewed and the role of computer programming in this work is reviewed.

TFLPL: Programación con lógica de términos

- Computer ScienceRes. Comput. Sci.
- 2018

Given the system Term Functor Logic and the concept of Aristotelian database, the development of a programming language called TFL is presented, which is a combination of TFL and TFL with semantics derived from TFL.

Overview of disjunctive logic programming

- Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2005

An overview is presented of the developments that have taken place in the field of disjunctive programming, which include model theoretic, proof theoretic and fixpoint semantics for dis junctive semantics, and extended normal dis Junctive theories including alternative forms of negation.

Absys: The First Logic Programming Language - A Retrospective and a Commentary

- Computer ScienceJ. Log. Program.
- 1990

On Principles of Software Engineering - Role of the Inductive Inference

- Computer Sciencee Informatica Softw. Eng. J.
- 2012

The inductive inference mechanism’s role behind the automatic program construction activities and software evolution is focused on and the revision of rather ln old ideas in the new context of software engineering could enhance the endeavour.

The Symbolic Term Abstract Domain

- Computer Science, Mathematics
- 2020

It is shown that the abstract domain of symbolic terms ordered by subsumption by abstraction of the powerset of ground terms ordering by inclusion is the same as that of the real world.

Visual Compositional-Relational Programming

- Computer Science
- 2010

In an ever faster changing environment, software developers not only need agile methods, but also agile programming paradigms and tools. A paradigm shift towards declarative programming has begun; ...

## References

SHOWING 1-10 OF 40 REFERENCES

The Semantics of Predicate Logic as a Programming Language

- Computer Science, PhilosophyJACM
- 1976

In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated, and it is concluded that operational semantics is a part ofProof theory and that fixpoint semantic is a special case of model-theoretic semantics.

Refinement Theorems in Resolution Theory

- Computer Science
- 1970

It is proved that two of the refinements of the Resolution Principle preserve the logical completeness of the proof procedure when used separately, but not when used in conjunction.

Computation and Deduction

- EducationMFCS
- 1973

Draft notes for a course given at Carnegie Mellon University during the fall semester of 1994, with author Frank Pfenning and the National Football League.

Proving Theorems about LISP Functions

- Computer Science, MathematicsJACM
- 1975

We describe some simple heuristics combining evaluation and mathematical induction which we have implemented in a program that automatically proves a wide variety of theorems about recursive LISP…

Algorithm = logic + control

- Philosophy, Computer ScienceCACM
- 1979

The notion that computation = controlled deduction was first proposed by Pay Hayes and more recently by Bibel and Vaughn-Pratt and the thesis that algorithms be regarded as consisting of both logic and control components is explored.

A Machine-Oriented Logic Based on the Resolution Principle

- MathematicsJACM
- 1965

The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.

A Proof Procedure Using Connection Graphs

- Computer ScienceJACM
- 1975

A new theorem-proving system designed to remedy deficiencies of resolution systems is presented, beginning as a supplement to SL-resolution in the form of classificatmn trees and incorporating an analogue of the Waltz algorithm for picture Interpretation.

Logic for problem solving

- PsychologySOEN
- 1982

This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be Karl duncker in addition to make difficult…

A Linear Format for Resolution

- Geology
- 1970

The Resolution procedure of J. A. Robinson is shown to remain a complete proof procedure when the refutations permitted are restricted so that clauses C and D and resolvent R of clauses C and D meet…

Coloring maps and the Kowalski doctrine

- Computer Science
- 1982

A map coloring program proposed by Pereira and Porto and two coloring algorithms that can be regarded as control applied to its logic are discussed.