Итак, процессор. Японцам мало было создать просто хороший логи | SKRN

Итак, процессор. Японцам мало было создать просто хороший логический процессор, нужно было обязательно сделать его многоядерным. В то время у разработчиков уже было понимание, что иметь несколько ядер лучше, чем одно, но стабильных прототипов все еще не было. Японцы сразу решили - наш компьютер будет с самого начала многоядерным, и логический вывод у нас будет работать параллельно. Разработчики на это ответили - ДА &@#%$!!!

Почему так? Да потому что мало того что под Prolog было неадекватно сложно программировать, так он еще и не проектировался для параллельных процессоров! Механизм логического вывода, который там использовался, не предполагал такого использования - и пришлось разрабатывать новый язык (исходники Prolog были закрытыми), и решать кучу задач по его оптимизации…

В итоге спустя 10 лет получили машину, которая худо-бедно могла повторять результаты, которые показывали хоть и мощные, но совершенно типовые компьютеры того времени. А потом подъехали по-настоящему параллельные процессоры, и проекту совсем стало худо.

Лучше всего эпический провал описывает одна из цитат с конференции, которую провели в 1988 году по завершении одного из этапов проекта:

Большинство представленных на конференции приложений были интересны потому, что они были «X, сделанным на логическом программировании» - а не потому, что они были «X, сделанным лучше, чем раньше»

Грустно, и точка.