Terms for subject Artificial intelligence containing unification

English	Russian
one-way unification	односторонняя унификация (it binds variables only on one side of the equation Alex_Odeychuk)
unification problem	задача унификации (Alex_Odeychuk)