Дык никто ж не спорит о том, что языки уровня хаскеля, лиспа, питона <продолжите список самостоятельно> отлично решают некоторые задачи. Кстати это же относится и к императивным языкам: паскаль, си, бэйсик, ява <продолжите список самостоятельно>.
С другой стороны, когда я вспоминаю, что на том же прологе в чистом виде попросту невозможно ничего вывести на экран, потому что он не для этого - тоже невесело становится.
Ну и самое плохое то, что почти все языки работают так или иначе в императивных средах (за редкими исключениями типа нейрокомпьютеров и прочей изысканной эксклюзивности). Кстати в приведенном примере, встает замечательный вопрос оптимизации ljoin'ов\rjoin'ов - она тут целиком и полностью отдана на откуп компилятору языка, что есть заведомая жопа на серьезных задачах.