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

logic-based program synthesis and transformation מתח
.תִכנו	проектирование и перепроектирование логических программ (Alex_Odeychuk)