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