[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:


/ Ulf

More information about the Haskell-Cafe mailing list