<html><DIV><FONT color=#0000ff size=2 face=Verdana>On 14.02.2011, at 03:03 PM, Pavel Perikov [perikov@gmail.com] wrote:</FONT></DIV><FONT size=2 face=Tahoma><BR></FONT><FONT size=1>Sorely, Haskell can't prove logic with it. No predicates on values, guarantee that proof is not _|_. Haskell makes bug free software affordable, that's true. But it's not a proof assistant.<BR><BR></FONT></FONT><FONT size=1>
<P></FONT><FONT size=1></FONT>&nbsp;</P>
<P><FONT size=1>Being equivalent to a class of&nbsp;total recursive functions, the EP (Enterprise-Participant) data model can assist users to enter arbitrary and meaningful expressions only. It is a new addition to programming languages. Check out here: <A href="http://www.froglingo.com/FroglingoPL.pdf">http://www.froglingo.com/FroglingoPL.pdf</A></FONT></P>
<P><FONT size=1>Kevin</FONT></P>
<P><FONT size=1></FONT>&nbsp;</P></html>