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
    View on ACM
    cse.seu.edu.cn
    611 Citations
    Highly Influencial Citations
    22
    Background Citations
    156
    Methods Citations
    62
    Results Citations
    3
    611 Citations
    Citation Type

    Citation Type

    Computational Logic: Logic Programming and Beyond
    • 204
    • PDF
    Analysis of the behavior of logic-based computation for deductive databases and default reasoning
    The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
    • 5
    • PDF
    Middle History of Logic Programming: Resolution, Planner, Edinburgh Logic for Computable Functions, Prolog and the Japanese Fifth Generation Project
    • 3
    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
    A denotational semantics approach to functional and logic programming
    • 2
    • PDF