Russian ⇄ English

результирующее инстанцирование переменных stresses
progr.	resulting instantiation of variables (при выполнении операции сопоставления в языке программирования Prolog Alex_Odeychuk)