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

Нет, я говорю, что там где надо писать декларативно, пишут на других, "нелогических" декларативных языках. Если нужны идиомы "логических" языков, несмотря на их проблемы, пишут на прологе, но, видимо, такие случаи редки. Логическое/сентенциальное программирование могло бы стрельнуть, будь у нас массовая быстрая ассоциативная память. Но ее как 30 лет назад не было, так и нет. На адресуемой памяти во всех выходящих за пределы школьного курса случаях логического программирования об эффективности приходится думать вручную или измерять ее, так что для него нужны очень веские основания. (Мне, конечно, в этой связи жалко не пролога, а рефала, хотя он и не логический в узком смысле). И, кстати, а вот эрланг --- логический, или все-таки функциональный?