Re: [Haskell-cafe] Purely logical programming language

Mercury also has type classes and other Haskellisms, so if you're interested in "doing Prolog the Haskell way", you should definitely have a look at it.

Thanks. I'll have a look. (I also just found Mercury on my own: After I posed my original question, I tried another web search, and found what I was looking for. I haven't read the articles, yet, so I am grateful for your summary.)