Hi Ganesh,<br><br>manipulating predicate formulae was a central part of my PhD research. I implemented some normalization and standarcization functions in Haskell -&nbsp; 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).<br>
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.<br><br>Best,<br>Immanuel<br><br><div class="gmail_quote">2008/11/30 Ganesh Sittampalam <span dir="ltr">&lt;<a href="mailto:ganesh@earth.li">ganesh@earth.li</a>&gt;</span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi,<br>
<br>
Are there any Haskell libraries around for manipulating predicate formulae? I had a look on hackage but couldn&#39;t spot anything.<br>
<br>
I am generating complex expressions that I&#39;d like some programmatic help in simplifying.<br>
<br>
Cheers,<br>
<br>
Ganesh<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br>