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

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