英语 ⇄ 俄语 +

top-down resolution 强调
编程	резолюция сверху вниз (см. Introduction to logic programming by Ghristopher John Hogger ssn)