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 idea of Plankalkül.

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@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users