Did you do a (reset) before (run)?
alan
-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] On Behalf Of Nicolas Fortin
Sent: Monday, August 16, 2004 12:16 PM
To: [EMAIL PROTECTED]
Subject: JESS: forall conditional element
Hi everybody,
It is written in "The Jess Language" section that the forall conditional rule :
Jess> (defrule forall-example
(not (and (a ?x) (not (b ?x))))
=>)
would be activated, if for every fact (a ?x), there is a fact (b ?x). However, after I added the forall rule and the following facts :
(assert (a c))
(assert (b c))
there is no activation if I look in the agenda. What is wrong ? I am not sure to understand this condition. Which facts should I add to activate the rule ?
Thanks in advance for reading my question,
Nicolas
