英语 ⇄ 俄语 +

strongly-typed constraint logic programming 强调
编程	логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk)