Russisch ⇄ Englisch +

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