Equality constraints on terms can be simplified, that is solved, via unification: A constraint t1=t2 can be simplified if both terms are function symbols applied to other terms.
Равноправности ограничења о условима може бити поједностављена, која је решена, путем уједињења: Ограничење  t1 = t2 може бити поједностављено ако су оба термина симболи функција које се примењују на другим терминима.