Terms for subject Artificial intelligence containing односторонне

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