English ⇄ Chinese Russian +

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