[Haskell-cafe] Purely logical programming language

[Henning Thielemann]

On Tue, 26 May 2009, Jan Christiansen wrote:

> Hi,
>
> On 26.05.2009, at 21:24, Lauri Alanko wrote:
>
>> 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

:-)