Variables with the same name

From: <>
Date: Wed 08 Dec 2004 06:42:40 PM GMT
Message-Id: <>

Here's something that causes confusion ... (% comments by me)

 [eclipse 4]: read(T1),read(T2),write(T1),write(' '),write(T2),nl,T1=T2,write(T1),write(' '),write(T2),nl,read(T2),write(T1),write(' '),write(T2),nl.
 f(X,Y).               % Read into T1
 f(g(Y),Z).            % Read into T2
f(X, Y) f(g(Y), Z)     % Echo - yes, they look good
f(g(Y), Y) f(g(Y), Y)  % After unification, but the two Ys are different
 f(T3,b).              % Read into T2
f(g(Y), b) f(g(Y), b)  % Confirmation - the first Y is not instantiated

That's dangerous if the terms are rwitten to a file and read in again - the
two Ys become one. I tried to use write_term/2 with the variables(full) 
option, but ...

 [eclipse 5]: write_term(p(X),[variables(full)]).
calling an undefined procedure write_term(p(X), [variables(full)]) in module eclipse

I'm using ...
    ECLiPSe Constraint Logic Programming System [kernel]
    Copyright Imperial College London and ICL
    Certain libraries copyright Parc Technologies Ltd
    GMP library copyright Free Software Foundation
    Version 5.2 #10, Tue Jun 26 02:14 2001

Any suggestions out there?



Geoff Sutcliffe                 
Department of Computer Science            Email :
University of Miami                       Phone : +1 305 2842158/2842268
(Director of Undergraduate Studies)       FAX   : +1 305 2842264
Received on Wed Dec 08 18:52:54 2004

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