Англійська ⇄ Китайська Російська +

inference programming наголоси
ел.	программирование на базе логических умозаключений
прогр.	программирование вывода (ssn)
Gruzovik, прогр.	программирование логического вывода