俄语 ⇄ 英语 +

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