[Haskell-cafe] Logic programming using lazy evaluation

[Ulf Norell]

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