On Tue, 27 Feb 2007, Ulf Norell wrote: > On 2/27/07, Henning Thielemann <[EMAIL PROTECTED]> 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
Thanks for the link! It reminds me, that my problem differs from usual logic programming. I'm not interested in multiple solutions, I expect only one. If a variable is underdetermined, it shall be evaluated to "undefined". If a variable is overdetermined, that is different rules lead to different values for that variable, one of these values shall be returned. Checking for consistency per variable would require processing the whole (possibly infinite) list of rules. Instead one could check consistency per rule. That is, the solver should return a list of Bools which indicate which rules could be satisfied. In this setting it should be possible to solve the equations lazily. In contrast to the paper I assume that I can neither use Int variable identifiers nor STRefs because they would prevent the garbage collector from freeing unreferenced variable substitutions. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
