[Haskell-cafe] Logic programming using lazy evaluation

Ulf Norell ulfn at cs.chalmers.se
Tue Feb 27 11:26:10 EST 2007


On 2/27/07, Henning Thielemann <lemming at henning-thielemann.de> wrote:
>
> I suspect that someone has already done this: A Haskell library which
> solves a system of simple equations, where it is only necessary to derive
> a value from an equation where all but one variables are determined. Say

You might want to check out the following paper:

http://www.cs.chalmers.se/~koen/pubs/entry-haskell00-typedlp.html

/ Ulf


More information about the Haskell-Cafe mailing list