英语 ⇄ 俄语 +

non-suspending nondeterministic predicate 强调
编程	неприостанавливающийся недетерминированный предикат (visual-prolog.com Alex_Odeychuk)