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

instantiation of a variable מתח
.תִכנו	инстанцирование переменной (в языке программирования Prolog Alex_Odeychuk)