英语 ⇄ 俄语 +

bottom-up logic programming language 强调
编程	язык логического программирования с индуктивным выводом (Alex_Odeychuk)