Russian ⇄ English +

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