English ⇄ Chinese Russian +

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