Algorithm = logic + control

@article{Kowalski1979AlgorithmL,
  title={Algorithm = logic + control},
  author={R. Kowalski},
  journal={Commun. ACM},
  year={1979},
  volume={22},
  pages={424-436}
}
  • R. Kowalski
  • Published 1979
  • Computer Science
  • Commun. ACM
  • 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
    611 Citations
    Computational Logic: Logic Programming and Beyond
    • 204
    • PDF
    The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
    • 5
    • PDF
    Logic Programming and Nonmonotonic Reasoning
    • 5
    • PDF
    Declarative Priority in a Concurrent Logic Language ON
    • PDF
    Negation in Logic Programming
    • K. Kunen
    • Mathematics, Computer Science
    • J. Log. Program.
    • 1987
    • 540
    • PDF
    Communicating control knowledge to a deductive database system
    • 1
    Non-Monotonic Formalisms and Logic Programming
    • 36