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

constrained inference procedure מתח
.בינה	процедура логического вывода в ограничениях (Alex_Odeychuk)