Anglais ⇄ Langues chinoises Russe +

inference program contraintes
techn.	программа логических выводов
électr.	программа, реализующая извлечение правил напр. из баз данных и построение умозаключений; машина вывода (часть экспертной системы)