Algorithm = logic + control
@article{Kowalski1979AlgorithmL, title={Algorithm = logic + control}, author={R. Kowalski}, journal={Commun. ACM}, year={1979}, volume={22}, pages={424-436} }
The notion that computation = controlled deduction was first proposed by Pay Hayes [19] and more recently by Bibel [2] and Vaughn-Pratt [31]. A similar thesis that database systems should be regarded as consisting of a relational component, which defines the logic of the data, and a control component, which stores and retrieves it, has been successfully argued by Codd [10]. Hewitt's argument [20] for the programming language PLANNER, though generally regarded as an argument against logic, can… CONTINUE READING
Topics from this paper
611 Citations
Computational Logic: Logic Programming and Beyond
- Computer Science
- Lecture Notes in Computer Science
- 2002
- 204
- PDF
Analysis of the behavior of logic-based computation for deductive databases and default reasoning
- Computer Science
- Decis. Support Syst.
- 1992
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
- Computer Science
- J. Artif. Intell. Res.
- 1998
- 5
- PDF
Middle History of Logic Programming: Resolution, Planner, Edinburgh Logic for Computable Functions, Prolog and the Japanese Fifth Generation Project
- Computer Science
- 2009
- 3
Logic Programming and Nonmonotonic Reasoning
- Computer Science
- Lecture Notes in Computer Science
- 2013
- 5
- PDF