Anglais ⇄ Russe +

logic-based syntax contraintes
progr.	синтаксис языка логического программирования (контекстуальный перевод на русс. язык Alex_Odeychuk)