Englisch ⇄ Chinesisch Russisch +

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