Russe ⇄ Anglais +

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