[jlarocco]

I'm also curious about this, and what "real world" Prolog actually look like.

On one hand, I think the paradigm really simplifies some things, but then on the other hand, everything else (aka routine programming tasks) seems much more convoluted and awkward.

I think PAIP may have been on to something, embedding Prolog in Lisp, but that's less elegant and more difficult in most other languages.