Без заголовка

>И смежный вопрос -- а почему функциональные языки процветают, а логические так и влачат маргинальное существование со времен компьютеров пятого поколения? Область применения узкая. Модель вычислений Пролога ещё сложней, чем модель вычислений ленивых ЯП. Программирование в ограничениях легко вписывается в обычные ЯП. По нужде и там, где нужно, не более. Так что в логических языках смысла особого нет.