японцы подумали что пролог - это и есть язык будущего (тупые!),
и начали мастрячить пролог-компьютер 5-го (насколько помню) поколения.
Все это благополучно рухнуло, т.к. логики предикатов 1-го порядка и
модели замкнутого мира явно не хватает для решения задач реального мира.

PS идеи пролога (не сам пролог!) могли бы здорово помочь для IDE
в плане свободного синтаксиса языка и поиске ошибок, особенно логических.

на это всё, а то сам себе начинаю напоминать дохтура :))