Цитата из вики в статье о Prolog:
«Перспектива развития всемирной Сети, известной как проект Веб 3.0 поддерживает особый интерес к семантике распределенных данных и их обработке декларативными методами. В связи с этим появились концепции языка OWL, основанного на концепции First-Order Logic (FOL)[2], реализацию которой, в свою очередь, можно рассматривать как значительно более расширенную технику классического Prolog.»
так что вроде жив язык.
извините по ходу я ещё не могу добавлять теги в коменты так что картинка не отобразилась но вот ссылка если кто хочет увидеть эту картинку: http://test.en.by/80.jpg
«Перспектива развития всемирной Сети, известной как проект Веб 3.0 поддерживает особый интерес к семантике распределенных данных и их обработке декларативными методами. В связи с этим появились концепции языка OWL, основанного на концепции First-Order Logic (FOL)[2], реализацию которой, в свою очередь, можно рассматривать как значительно более расширенную технику классического Prolog.»
так что вроде жив язык.
с детства знакомый.