12 Prolog's solution strategy (Ad)

The questions

In this chapter, we investigate how Prolog actually works. By the end of the chapter, you should be able to explain how Prolog executes a Prolog program.

We will explain Prolog's solution strategy by answering a number of questions:

  1. How is a subgoal satisfied?
  2. In what order does matching occur?
  3. What is backtracking?
  4. How are all solutions found?

Each of these questions will be treated on a page of its own.

But now we turn to the first question: How is a subgoal satisfied?

Prev: 11.5 Quiz: Rules
Up: Part III: Programming
Next: 12.1 How is a subgoal satisfied? (Ad)