Programm:
append(nil,Y,Y). append(cons(X,Y),Z,cons(X,W)) :- append(Y,Z,W).
?- append (cons(a,nil),cons(b,nil),Z). ?- append (X,Y,nil). ?- append (X,Y,cons(a,nil)). ?- append (X,X,cons(a,cons(a,nil))).