[mc-lovin]

If we are discussing the benefits of logic programming, I think it's important to include other declarative languages like SQL.

The idea of specifying directly what is computed, and not how it is computed, is very useful, and not limited to abuse mathematical problems.

[mjn]

That's my hypothesis for why logic-programming's popularity faded somewhat from its initial promise. When it was new, it was one of the few widely available ways of doing declarative programming, and contrasted strongly with procedural programming. But in the years since, lots of other declarative approaches have chipped away at the monopoly of logic programming proper over declarative approaches to programming.

I wrote a bit about that here: http://www.kmjn.org/notes/prolog_lost_steam.html