2019-01-25 08:57:13 +00:00
|
|
|
:- X = [], copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X = [_A], copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
2019-01-25 13:54:02 +00:00
|
|
|
:- X = [a,_A], copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
2019-01-25 08:57:13 +00:00
|
|
|
:- X = [X], copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X = [_|X], copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X= f(X), copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X= f(X,X), copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X= f(_,X), copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
2019-01-25 13:54:02 +00:00
|
|
|
:- X= f(A,A,X), copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X= f(A,g(X,[A|A]),X), copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
2019-01-25 08:57:13 +00:00
|
|
|
:- X= f(X,[X,X]), copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X= f(X,[X,g(X)]), copy_term(X,Y), writeln('....'), writeln(X), writeln(Y).
|
|
|
|
|
:- X=f(_,X/[X]),copy_term(X,Y), writeln('....'),writeln(X),writeln(Y).
|
