12.5 Summary (Ad)
We can summarize the main points of this chapter as follows:
- A subgoal is satisfied by matching with a clause. If the
clause is a fact, and the subgoal matches the head of the
fact, the subgoal is satisfied. If the clause is a rule,
and the subgoal matches the head of the rule, the subgoal is only
satisfied if all of the subgoals in the body of the rule can be
- Matching occurs top-to-bottom, left-to-right.
- Backtracking is the process whereby, when a subgoal fails (or
we successfully reach the end of the query), variable bindings are
undone and the last subgoal that was satisfied is resatisfied.
This starts at the next clause after the clause that satisfied the
Prev: 12.4 How are all solutions found? (Ad)
Up: 12 Prolog's solution strategy (Ad)
Next: 12.6 Quiz: Prolog's solution strategy (Ad)