英语 ⇄ 俄语 +

logic-based program synthesis and transformation 强调
编程	проектирование и перепроектирование логических программ (Alex_Odeychuk)