I do risk saying that if you are not doing search, then Prolog gives you way too much power.

I have spent much more time looking for unexpected exponential runtime than the time it takes to implement the code without unification. That's the main reason I abandoned the language.