[Haskell-cafe] Interesting feature

Robin Green greenrd at greenrd.org
Mon Jul 7 06:34:57 EDT 2008

On Mon, 07 Jul 2008 12:30:34 +0200 (CEST)
Henning Thielemann <lemming at henning-thielemann.de> wrote:

>   Actually the type system of Haskell is also logic programming. I
> have implemented a simple kind of logic programming using lazy peano
> numbers: http://darcs.haskell.org/unique-logic/

There is also Curry which is basically Haskell extended with features
from logic programming. There you get to use ordinary values instead of
having to use types. However, it seems that Curry's solution finding
mechanism is built-in to the language and cannot be modified (e.g. for
performance reasons) without modifying the language implementation. (I
think the same would be true for logic programming with Haskell types.)

More information about the Haskell-Cafe mailing list