[Haskell-cafe] Re: Purely logical programming language

[Ahn, Ki Yung]

Henning Thielemann wrote:
> 
> 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
> 
> :-)

By the way, did Curry solved the problem of how to deal with IO and 
backtracking issues? (where and  where not should IO happen kind of a 
thing)  I haven't used Curry that much but I remember that there was an 
issue of IO and non-determinism.