C. Unification is used every time a predicate is applied, and for every case, so it is used often. It is normally cheap to perform.