Very long time ago I was trying to program many matroids algorithms, let's say that matroids are a generalization of vector spaces and independence, in prolog. I could program those algorithm in many languages, for example in Lisp, but programming in Prolog was very painful. I think that prolog related programming is a useful tool when the program is similar to those solved by forward chaining but in other cases I can't not see the benefits, the dismissal of Prolog in day to day programming seems to reflect that sentiment.