Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as Alonzo Church [1932], logical inference can be used in programming. This view was further developed by John McCarthy's [1958] advice-taker proposal to use forward chaining under the control of logical propositions. The Planner programming language [1969, 1971] used both...
More
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as Alonzo Church [1932], logical inference can be used in programming. This view was further developed by John McCarthy's [1958] advice-taker proposal to use forward chaining under the control of logical propositions. The Planner programming language [1969, 1971] used both forward chaining (invoked by assertions) and backward chaining (invoked by goals).
However, Kowalski restricts logic programming to backwards chaining in the form:
that treats the implications as goal-reduction procedures:
For example, it treats the implication:
as a procedure that from the goal "the drive cab is alerted" generates the subgoal "an alarm signal button is pressed."
Note that this is consistent with the BHK interpretation of constructive logic, where implication would be interpreted as a solution of problem G given solutions of...
Less
