I think Jelmini Carlo wrote: > > The problem I'm experiencing is better shown by the following transcript of > a Jess session:
Ah, yes, sorry, should have remembered this in my previous reply. Yes, there's a problem with this in the last few betas. It's already been reported and fixed. The next release (6.1 RC1) should appear in the coming few days, and the problem is solved in this release. > > Jess, the Java Expert System Shell > Copyright (C) 2001 E.J. Friedman Hill and the Sandia Corporation > Jess Version 6.1b3 2/28/2003 > > Jess> (watch all) > TRUE > Jess> (defrule forall-example > (not (and (a ?x) (not (b ?x)))) > =>) > MAIN::forall-example: +1+1+1+1+2+1+1+2+a+2+t > TRUE > Jess> (reset) > ==> Focus MAIN > ==> f-0 (MAIN::initial-fact) > ==> Activation: MAIN::forall-example : f-0, > TRUE > Jess> (assert (a 1)) > ==> f-1 (MAIN::a 1) > <== Activation: MAIN::forall-example : f-0, > <Fact-1> > Jess> (assert (a 2)) > ==> f-2 (MAIN::a 2) > <Fact-2> > Jess> (assert (b 1)) > ==> f-3 (MAIN::b 1) > ==> Activation: MAIN::forall-example : f-0, > <Fact-3> > Jess> (run) > FIRE 1 MAIN::forall-example f-0, > <== Focus MAIN > 1 > > As you can see, one (a) with a corresponding (b) is enough to activate the > rule, even if there is another (a)without corresponding (b), which is > incorrect. --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 PO Box 969, MS 9012 [EMAIL PROTECTED] Livermore, CA 94550 http://herzberg.ca.sandia.gov -------------------------------------------------------------------- To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' in the BODY of a message to [EMAIL PROTECTED], NOT to the list (use your own address!) List problems? Notify [EMAIL PROTECTED] --------------------------------------------------------------------
