SiemarglТут таки к прологу вернуться - язык данных, логических выводов или что?
И для чего удобно использовать?

Пролог - язык логического вывода. Для практического применения непригоден, поэтому и не применяется. Когда-то давно, были попытки применять его для "экспертных систем", но они оказались плохими (запрограммированы были на самых разных языках) - правильные выводы, которые они делали, могли неожиданным образом чередоваться с нелепыми. Поэтому сейчас идея экспертных систем нескольео дискредитирована (это не значит, что нельзя создать полезную. Но нужен более серъёзный подход, и никакого Пролога - примитивность логики его принципиальный дефект).
Ещё был дкрацкий японский проект "компьютера 5-го поколения" с аппаратной поддержкой Пролога. После нескольких лет страшной шумихи закончилось тем, чем и должно было - сделали образец компьютера и закрыли проект.
Если остались какие-нибудь фанаты Пролога, то они ничего не могут поделать с фатом, что на Прологе до сих пор не было создано ни одной заслуживающей внимания программы. Вот пусть запрограммируют хотя бы тетрис, а потом уже вопят.

1) Дык С++ тоже язык одного алгоритма - алгоритма работы машины фон-Неймана, реализованной аппаратно

Заявление формально правильное, но по существу совершенно бессмысленной. Вот и Пролог такой же - формально делает правильные выводы, а оказывается нелепость. Каков Пролог, таковы и прологисты.

i_van_ru
Datalog --- его breadth-first вариант --- с распространением RDF распространяется всё больше. Так что СУБДшникам его придётся учить всё чаще.

Не придётся. Семантические сети - тема, отдельная от СУБД, и для них популярны другие языки, не Datalog.

Вот на форуме на сайте RSDN кучка психов уже давно вопит, что "Nemerle - это самый лучший язык", но до сих пор ничего на нём не запрограммировали. Вижу явное сходство с Прологом (ИМХО).