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

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