Angielski ⇄ Rosyjski +

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