俄语 ⇄ 英语 +

односторонняя унификация 强调
人工智能	one-way unification (it binds variables only on one side of the equation Alex_Odeychuk)
逻辑	one-sided unification (Alex_Odeychuk)