[Haskell-cafe] manipulating predicate formulae

Immanuel Normann immanuel.normann at googlemail.com
Thu Dec 4 06:44:23 EST 2008

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


2008/11/30 Ganesh Sittampalam <ganesh at earth.li>

> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081204/d10e453e/attachment.htm

More information about the Haskell-Cafe mailing list