setarg/3: Meaning of "aliased"

From: Ulrich Scholz <ulrich.scholz_at_eml-d.villa-bosch.de>
Date: Thu 25 Aug 2005 10:02:20 AM GMT
Message-ID: <20050825100219.GA1472@eml-d.villa-bosch.de>
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
Received on Thu Aug 25 11:12:04 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:39 PM GMT GMT