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

правило упрощения и распространения מתח
.בינה	simpagation rule (в логическом программировании в ограничениях Alex_Odeychuk); propagation rule (в логическом программировании в ограничениях Alex_Odeychuk)