Привет!  Очень рад что нашел ваш контент и форум через блог  -http://rbogatyrev.livejournal.com/

Всегда интересовали системы ( и языки ) с приближением к 100% реентерабильности, т.е. которые могут описать себя, свое поведение и обьяснить свое состояние в любой момент времени. В то же время интересно их применение и для коммерч. сферы..  Что-то читал и про проекты японского Prolog и про проекты нашего "Буран".

В свое время довольно активно работал с разными Prolog'ами , в т.ч. на базе Java VM. Так как я всего лишь "прикладник", то много работаю и с реляциооными SQL БД. Вот, делал неск. лет назад некий проект "для себя" по совместной работе Java, Prolog, Oracle. Многих проблем не решил, многого не доделал , но что-то осталось.. лежит тут -http://eugen140.webzone.ru/( мой email:  ekuptsov собака gmail.com )
Кому интересно всякого рода Прологи - пишите тут.

Сам постепенно начну изучать материалы по Oberon.. ))