Без заголовка

Я же, вроде, написал ссылку на статью Непейводы, где он прямо говорит про LISP (функциональное программирование) как мета по отношению к структурному (процедурному) программированию. Структурная программа -- это функция, а функциональная программа -- это вычисление над функциями. Да, Ленат -- это который CYC. Eurisko как собственно софт найти нельзя, ибо это где-то 1981-1983г.г.. По итогам Eurisko Дуглас в 1984 году занялся CYC. Зато CYC доступен в разных видах :)