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

strongly-typed constraint logic programming מתח
.תִכנו	логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk)