машина логического вывода, механизм логического вывода, механизм вывода Компонент экспертной системы, оперирующий с базой знаний и формирующий логические выводы.
English-Russian Modern Computing dictionary
Lisp inferencing engine
машина логического вывода на базе языка ЛИСП, механизм логического вывода на базе языка ЛИСП, ЛИСП-машина