英语 ⇄ 俄语 +

high-level language based on predicate logic 强调
编程	высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk)