unification algorithm

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