On 20 April 2011 11:17, Arjun Dhar 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 d
ok thanks, i think i confused my notion of eval() with also its ability to
return int on calculations in some other framework.
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 techn
It would help if you read the documentation which explains that eval() must
return a boolean.
"Predicate" is a mathematical concept; how it is implemented in some system
is a technical issue. That said, "predicates" can be expressed in Drools one
way or other, and some predicates may be more effic
I believe eval() solves that purpose functionally but is not optimal; not
sure how evals() tie in with Rete-OO
Specially since the return type of eval() is not known, I can seriously
doubt it being optimal as using Objects directly in conditions.
-
Software documentation is like sex: If its go
rg [mailto:rules-users-
> boun...@lists.jboss.org] On Behalf Of Arjun Dhar
> Sent: 20 April 2011 05:29
> To: rules-users@lists.jboss.org
> Subject: [rules-users] First Order Logic - METHODS in Drools
>
> According to First order Logic, (from a rule perspective), one can
> repres
According to First order Logic, (from a rule perspective), one can represent
their statements using:
PREDICATES, METHODS, CONNECTORS (including existential quantifiers)
..while PREDICATES can be synonymous with Object and Object expressions; the
only way of using methods has been via "eval" (AFAI
