unification parallelism

Параллелизм при выполнении (операции) унификации