В декларативных языках часто трудно предсказать производительность. Часто интуитивно-понятная реализация тормозит. Получить код, сопостовимый по производительности с C можно, но он получается едва ли не сложнее императивного :-(.
В Mercury запретили многие фичи, которые снижают производительность. На нем можно писать очень эффективно.