I think Waldek Jaronski wrote: > my understanding is that ?c are not the same. They would be the same if they > were in the same pattern, but here it is not the case. Try to view this rule > (eg. with view command) and you will see that each ?c get some prefixes to > make them unique. > I hope I'm right,
No, that's wrong. Using the same variable twice specifically means that the second pattern matches only if the OBJECT slot and the ormedContext slot contain the same object. Variables are renamed in the way you suggest only when they are first introduced inside of a (not) or (exists) pattern, since subsequent patterns cannot bind the same variable by definition. Variables merely *used* in a (not), but introduced in an earlier pattern, are not renamed. > > -----Original Message----- > Here is the rule that fires continuously: > > (defrule ASP1 > (OrmedContext > (readyToRun TRUE) > (task "script") > (OBJECT ?c) > ) > (CompleterResponseElement > (ormedContext ?c) > (key "ASP") > ) > => --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 Org. 8920, MS 9012 [EMAIL PROTECTED] PO Box 969 http://herzberg.ca.sandia.gov Livermore, CA 94550 -------------------------------------------------------------------- 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] --------------------------------------------------------------------