Hi Ganesh, manipulating predicate formulae was a central part of my PhD research. I implemented some normalization and standarcization functions in Haskell - inspired by term rewriting (like normalization to Boolean ring representation) as well as (as far as I know) novell ideas (standardization of quantified formulae w.r.t associativity and commutativity). If you are interested in that stuff I am pleased to provide you with more information. May be you can describe in more detail what you are looking for.
Best, Immanuel 2008/11/30 Ganesh Sittampalam <[EMAIL PROTECTED]> > Hi, > > Are there any Haskell libraries around for manipulating predicate formulae? > I had a look on hackage but couldn't spot anything. > > I am generating complex expressions that I'd like some programmatic help in > simplifying. > > Cheers, > > Ganesh > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
