[Haskell-cafe] manipulating predicate formulae

[Immanuel Normann]

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 <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