[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.
>>
>> I have to admit that I am not very familiar with Mercury. But if you are
>> looking for "doing Prolog the Haskell way" <advertise>you can also have a
>> look at Curry</advertise>. Curry is a lazy functional logic programming
>> language that has a Haskell like syntax (http://www.curry-language.org/).
>
> You forgot to mention, that you will give a talk about Curry soon, where
> Matthias might want to attend:
>  http://iba-cg.de/hal4.html

Indeed.  Studying in Magdeburg, I already heard about that workshop
and considered attending, but I did not read the agenda in detail.
Now I'll definitely attend.