We said earlier that when Prolog tries to satisfy a (sub)goal, one process involved was that of matching. Matching is also called "unification" in the literature, and refers to the process whereby terms are compared with each other while variable bindings are made.
Matching is one of the most important processes to grasp when trying to understand how Prolog works. In the following pages, we will take a detailed look at matching.
PrevLite: 9.8 Quiz: A simple Prolog program
NextLite: 10.1 Rules of matching
Prev: 9.8 Quiz: A simple Prolog program
Up: Part III: Programming
Next: 10.1 Rules of matching