Обсуждение

Для функциональной и логической парадигм были ЛИСП-машины и машины логического вывода (проект пятого поколения). Это было почти тридцать лет назад. Машины делали софтовые и железные. Сейчас какие-то новые идеи?

Что-то мне это смутно напоминает. Не то проект CYC, не то "Миссия невыполнима" с Томом Крузом :-)))

Да, новые идеи, и этих идей много. Сначала делают принципиально новый софт, затем говорят, что можно думать о железе для этого софта. Я довольно много писал об этом проекте. Можно поискать в моем журнале по слову FONC.