英语 ⇄ 俄语 +

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