英语 ⇄ 俄语 +

logical programming with Horn clauses 强调
编程	логическое программирование с использованием дизъюнктов Хорна (Alex_Odeychuk); логическое программирование с использованием хорновских дизъюнктов (Alex_Odeychuk)