Hi 1. This is rather suggestion. I am frequently use fact ID as a slot value to refer to fact (looks like foreign key). But in cases when there is need to check an absence of referred fact I can't do this in LHS due to a "not" CE incapacity to binding to a variable. So I'd like to have this opportunity.
2. Why after retracting the (a) a test rule have not turn to agenda? Jess> (reset) ==> Focus MAIN ==> f-0 (MAIN::initial-fact) TRUE Jess> (defrule test (not (a)) =>) ==> Activation: MAIN::test : f-0, MAIN::test: +1+1+1+1+2+t TRUE Jess> (assert (a)) ==> f-1 (MAIN::a) <== Activation: MAIN::test : f-0, <Fact-1> Jess> (retract 1) <== f-1 (MAIN::a) TRUE Jess> Thanks in advance. -- All the best, Maxim Tretyak -------------------------------------------------------------------- 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] --------------------------------------------------------------------