Большой англо-русский словарь (с транскрипциями) LISP inferencing engine машина [механизм] логического вывода на базе языка ЛИСП