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