[rules-users] Predicate Logic rule-binding clarification

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 will run the 'then' consequence? Is that how it works? Is this basically what the Rete algorithm does? Thanks -- View this message in context: http://www.nabble.com/Predicate-Logic-rule-binding-clarification-tp260584... Sent from the drools - user mailing list archive at Nabble.com.