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

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.