英语 ⇄ 俄语 +

proof sequence 强调
编程	последовательность доказывания фактов (в языке программирования Prolog Alex_Odeychuk)