Applying Logical Knowledge
Unification
With No Variables, Unification:
- A primitive (atom, number, string) unifies with
a primitive of the same value.
- A list unifies with a list if they have the same number of elements and
each element unifies.
- A structure unifies with a structure if:
- The functors unify.
- Each has the same arity (number of arguments).
- Each of the arguments unify.
