>>538
基本型
copy([],[]).
copy([A|R1],[A|R2]) :- copy(R1,R2).
単純に第一引数のリストを第二引数に生成するための述語ですね。
?- copy([1,2,3],X).
X = [1,2,3]

ヒント 引数を増やすことを怖れないこと。