About the use of the built-in predicate '=' and unification. Unification (with its
associated instantiation of variables) is probably the
most powerful feature of Prolog. Your thorough understanding of unification
will contribute greatly to understanding how Prolog programs are written and
work.
