| Subject | English | Russian |
| progr. | instantiation of a variable | инстанцирование переменной (в языке программирования Prolog Alex_Odeychuk) |
| comp. | instantiation of variables | конкретизация переменных |
| progr. | resulting instantiation of variables | результирующее инстанцирование переменных (при выполнении операции сопоставления в языке программирования Prolog Alex_Odeychuk) |
| progr. | resulting instantiation of variables | конечное инстанцирование переменных (Alex_Odeychuk) |