copy_term/2 in Eclipse

Hi,

I want to use the copy_term/2 predicate in order to generate the copy of
a term where its variables are replaced by new ones. I am using the
latest version (5.10) of Eclipse.

However when I for instance try the second example from here:

http://eclipse.crosscoreop.com/eclipse/doc/bips/kernel/termmanip/copy_term-2.html

the result is the following:

[eclipse 1]: copy_term(s(X,a,Y,X), C).

X = X
Y = Y
C = s(X, a, Y, X)
Yes (0.00s cpu)

That is, C is not a copy with new variables, but it is just unified with
the orginial term. Does anyone have an idea of how to fix this (or what
may be the problem)? Any hint would be welcome.

Regard
Jens
.

Relevant Pages

  • Re: Pthread programming: about the lost condition signals.
    ... If a thread makes the predicate true and it's supposed to be false, ... signals to get the appropriate A or B thread to fix the problem. ... or use broadcasts. ...
    (comp.programming.threads)
  • Re: List<>.Exists()???
    ... That should fix it; for completeness: ... The "predicate" is just a method that accepts the item to be tested ... Marc ...
    (microsoft.public.dotnet.languages.csharp)
  • Re: List<>.Exists()???
    ... I think it may have something to do with the fact that the help article for ... That should fix it; for completeness: ... a condition (specified as a predicate); for example, ...
    (microsoft.public.dotnet.languages.csharp)
  • Re: counting the number of backtracs
    ... In message, zeus ... >constraints checked by a predicate. ... hint as to what you are actually trying to do. ... Nick ...
    (comp.lang.prolog)
  • Re: Return only most recent date records
    ... Can you explain the predicate 'TOP 1*'? ... > PerL ... so I don't know what to fix. ...
    (microsoft.public.access.queries)