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

Эрланг -- функциональный (хотя и разрабатывался при помощи Пролога). Как ехидно заметили тут по треду выше, "из него всю проложность выкинули, ибо только мешала". То есть логическая парадигма -- это временнЫе грабли, по твоей оценке. То есть не научились еще оптимизировать. Питоновская программа имеет шанс дойти в тщательно вручную писанном алгоритме при очень неспешливом движке, функциональная уже более выразительна, но опять таки очень медленна -- но не запредельна, ибо не полный перебор, а алгоритм. Логика -- все алгоритмы сводятся к тому или иному перебору. Получается, что логические алгоритмы будут хороши на "запутанных фотонах" (если делать ассоциативную память, то сразу на современной элементной базе ;), а императивные -- хороши сейчас на стековых/конвейерных архитектурах. А для функциональных алгоритмах нет такого железного зверя, для которого они были бы хороши -- им пофиг, почему и выживают :)