12 Prolog's solution strategy (Ad)
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:
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)