алгоритм унификации

Мат. unification algorithm