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

bottom-up resolution מתח
.תִכנו	резолюция снизу вверх (см. Introduction to logic programming by Ghristopher John Hogger ssn)