It's great that Prolog routinely makes an appearance in such overview documents, and is often even mentioned quite positively or at least cautiously positively.

It's great that Prolog routinely makes an appearance in such overview documents, and is often even mentioned quite positively or at least cautiously positively. Some quotes from the article: By the standard of academia Prolog and Haskell are both successful languages. Prolog in a sense proved that logic programming does not work in practice (what??) We personally think that Prolog is one of the most interesting languages ever created, but even we could not find a place for it in production code. As to the last point, how hard did "even you" look? How about capturing the essence of the article as Prolog facts that associate these languages with relevant attributes? That would make reasoning about the article quite interesting.