英语 ⇄ 俄语 +

resulting instantiation of variables 强调
编程	конечное инстанцирование переменных (Alex_Odeychuk); результирующее инстанцирование переменных (при выполнении операции сопоставления в языке программирования Prolog Alex_Odeychuk)