Re: [rules-users] Predicate Logic rule-binding clarification

2009-10-26 Thread Edson Tirelli
Hey Wolfgang, Timely mention! :) I was talking to Jason Morris here at ORF last saturday and he pointed me to your paper. I read it and it is very good indeed. :) Now, I have a question for you. Without trying this in any engine (neither Drools, not Jess, nor Clips), tell me what do you

Re: [rules-users] Predicate Logic rule-binding clarification

2009-10-26 Thread Wolfgang Laun
Yes, that's what Drools and other forward chaining inference engines do. People have found http://www.jessrules.com/jess/docs/PropPred.pdf helpful. Even though the syntax isn't Drools, you shouldn't have any problems following this monograph. -W On Mon, Oct 26, 2009 at 1:01 PM, dbrownell83 wrot

[rules-users] Predicate Logic rule-binding clarification

2009-10-26 Thread dbrownell83
Hi, I am new to Drools, so this might be an obvious 'yes' answer... I see that DRL uses "first order predicate logic" for its syntax. That is, it models things like "For all X, such that Y, do Z" Am I correct that as long as some data in the knowledge session matches the 'when' conditions, it w