Re: [Haskell-cafe] Logic programming using lazy evaluation

On 2/27/07, Henning Thielemann 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