Lisp inferencing engine

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