Anglais ⇄ Russe +

simpagation rule contraintes
intell.	правило упрощения и распространения (в логическом программировании в ограничениях Alex_Odeychuk)