אנגלית ⇄ רוסית +

resulting instantiation of variables מתח
.תִכנו	конечное инстанцирование переменных (Alex_Odeychuk); результирующее инстанцирование переменных (при выполнении операции сопоставления в языке программирования Prolog Alex_Odeychuk)