[Haskell-cafe] Purely logical programming language

[Matthias Görgens]

> 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.)