2.9 Consider the program in Figure 2.10 and simulate, in the style of Figure 2.10, Prolog's execution

Question:

2.9 Consider the program in Figure 2.10 and simulate, in the style of Figure 2.10, Prolog's execution of the question: ?- big(X), dark(X). Compare your execution trace with that of Figure 2.10 when the question was essentially the same, but with the goals in the order: ?- dark(X), big(X). In which of the two cases Prolog does more work before the answer is found?

Fantastic news! We've Found the answer you've been seeking!