Lisp inferencing engine

Машина [механизм] логического вывода на базе языка ЛИСП

Источник: Полный англо-русский словарь на Gufo.me