[rules-users] First Order Logic - METHODS in Drools

[Wolfgang Laun]

On 20 April 2011 11:17, Arjun Dhar <dhar_ar at yahoo.com> wrote:

>
> The reason why i started this thread was to ensure in the process of Rule
> engineering, I could write optimal rules in mathematical notion and not
> have
> to worry about technical differences in how a Predicate is translated while
> translation to drools. (ideally)
>

:)

This idea is not new. You may want to look up Konrad
Zuse's<http://en.wikipedia.org/wiki/Konrad_Zuse>idea of
Plankalkül <http://en.wikipedia.org/wiki/Plankalk%C3%BCl>.

Mathematics is abstract, computers aren't.

-W


>
> thanks everyone.
>
>
> -----
> Software documentation is like sex: If its good its really really good, if
> not then its still better than nothing!
> --
> View this message in context:
> http://drools.46999.n3.nabble.com/First-Order-Logic-METHODS-in-Drools-tp2841531p2842153.html
> Sent from the Drools: User forum mailing list archive at Nabble.com.
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-users/attachments/20110420/d288ae36/attachment.html