Englisch ⇄ Russisch +

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