英语 ⇄ 俄语 +

temporal logic programming 强调
编程	темпоральное логическое программирование (Alex_Odeychuk); программирование в терминах темпоральной логики (Alex_Odeychuk)