Anglais ⇄ Langues chinoises Russe +

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