On 20 April 2011 11:17, Arjun Dhar <span dir="ltr"><<a href="mailto:dhar_ar@yahoo.com">dhar_ar@yahoo.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
The reason why i started this thread was to ensure in the process of Rule<br>
engineering, I could write optimal rules in mathematical notion and not have<br>
to worry about technical differences in how a Predicate is translated while<br>
translation to drools. (ideally)<br></blockquote><div><br>:)<br><br>This idea is not new. You may want to look up <a href="http://en.wikipedia.org/wiki/Konrad_Zuse">Konrad Zuse's</a> idea of <a href="http://en.wikipedia.org/wiki/Plankalk%C3%BCl">Plankalkül</a>.<br>
<br>Mathematics is abstract, computers aren't.<br><br>-W<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
thanks everyone.<br>
<div class="im"><br>
<br>
-----<br>
Software documentation is like sex: If its good its really really good, if not then its still better than nothing!<br>
--<br>
</div>View this message in context: <a href="http://drools.46999.n3.nabble.com/First-Order-Logic-METHODS-in-Drools-tp2841531p2842153.html" target="_blank">http://drools.46999.n3.nabble.com/First-Order-Logic-METHODS-in-Drools-tp2841531p2842153.html</a><br>
<div><div></div><div class="h5">Sent from the Drools: User forum mailing list archive at Nabble.com.<br>
_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
</div></div></blockquote></div><br>