רוסית ⇄ אנגלית +

последовательность доказывания фактов מתח
.תִכנו	proof sequence (в языке программирования Prolog Alex_Odeychuk)