I think [EMAIL PROTECTED] wrote: [Charset windows-1252 unsupported, filtering to ASCII...] > > Well, that's the behaviour I wanted from the rules; the matter is that there is > a rule such that : > > (defrule MAIN::R1 > (logical (not (x))) > (y) > => > (assert (z)) > ) > > Only (y) is asserted, and the rule is not fired. >
The most likely explanation is that you haven't issued a "reset". Check the manual section on the "not" conditional element: not's won't necessarily work correctly unless before you start asserting facts, you run (reset). Among other things, "reset" asserts the "initial-fact" fact, which is necessary for the proper functioning of some "not" conditional elements. --------------------------------------------------------- Ernest Friedman-Hill Science and Engineering PSEs 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] --------------------------------------------------------------------
