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

И при этом, кажется, немного мёртв, нет? :) Мало быть. Надо быть удобным и решать чью-то задачу. И то, о чём ты пишешь, тоже сильно не ново - был форт, который обладает всеми заявленными как ценные в этой дискуссии свойствами - элементарная реализация, компактный интерпретёр, широко перенесённый - чуть ли не биосы на нём писали. Но не живёт. Ну - потому как писать на ём застрелишься. Отдельно отмечу, что функциональные и логические языки вообще плохо ложатся в наш мир. первый - в современные компьютеры, которые императивны, хоть ты их тресни. И потому общецелевой функциональный язык не имеет смысла - можно на императивном языке сделать уголок, где часть системы будет жить функционально. И будет это эффективно. В прологе вообще время имеет привычку назад ходить - у него проблемы совместимости со вселенной, как следствие. Непросто всё.