Angielski ⇄ Chiński Rosyjski +

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