Rosyjski ⇄ Angielski +

последовательность доказывания фактов akcenty
progr.	proof sequence (в языке программирования Prolog Alex_Odeychuk)