setarg/3: Meaning of "aliased"

Dear all,

I'm not exactly sure about the meaning of "aliased" and "location" in the
description of setarg/3:

  "In particular, it must be assured by the programmer that [...] the old
   argument was not aliased to some other location."

The User Manual mentiones "aliased" in section 17.7.1 "Waking on Binding:
bound"

  "The bound waking condition [...] wakes when any two of the variables in the
   condition specification get unified with each other (aliased)."

Maybe this refers to the fact that in the following example X remains
unified with 1 while the term t(1) is changed to t(2).

[eclipse 29]: X=1, T=t(X), setarg(1,T,2).

X = 1
T = t(2)
Yes (0.00s cpu)


Thank you,

Uli


-- 
Ulrich Scholz            

Personal Memory Group                   
European Media Laboratory GmbH