Anglais ⇄ Russe +

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