Re: [rules-users] First Order Logic - METHODS in Drools
On 20 April 2011 11:17, Arjun Dhar <dhar_ar(a)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-tp2...
Sent from the Drools: User forum mailing list archive at Nabble.com.
_______________________________________________
rules-users mailing list
rules-users(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users
Attachments:
- attachment.html (text/html — 1.8 KB)