英语 ⇄ 俄语 +

objects in logic programming propositions 强调
编程	объекты в высказываниях логического программирования (ssn)