12.6 Quiz: Prolog's solution strategy (Ad)

Question:

Are the processes 'matching' and 'satisfying' the same? If not, what is the difference between them?

Choose an answer:
Yes.
No.

Hints at: 12.1 How is a subgoal satisfied? (Ad).


Prev: 12.5 Summary (Ad)
Up: 12 Prolog's solution strategy (Ad)
Next: 13 Recursivity and lists (Ad)