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]
--------------------------------------------------------------------

Reply via email to