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 advertiseyou can also have
There are a number of ways to marry purely functional programming
languages with IO. To name just two possibilities: Clean uses linear
types, threading exactly one World through functions, Haskell uses
Monads.
The model in Prolog, however, looks more like the model used in most
strict functional
On Tue, May 26, 2009 at 09:10:10PM +0200, Matthias Görgens wrote:
The model in Prolog, however, looks more like the model used in most
strict functional languages. It uses impure predicates to affect the
outside world. Do you know of any attempt to do for logic programming
what Monads did
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
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
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