英语 ⇄ 中文 俄语 +

inference programming 强调
Gruzovik, 编程	программирование логического вывода
电子产品	программирование на базе логических умозаключений
编程	программирование вывода (ssn)