項をコピーする。
項1のコピーで項2を単一化する。 このコピーの際に、項1の全ての変数は新しい変数によって置き換えられる。
項1 項 項2 項
| copy_term(f(a,b), X). | X <- f(a,b) の代入で成功。 |
| copy_term(f(A,B,A),C). | C <- f (_1,_2,_1) の代入で成功。 |
| copy_term(f(a, g(b,C)), f(A,Y)). | A <- a, Y <- g(b,_1) の代入で成功. |
| copy_term(f(a,b), f(a,d)). | 失敗. |
この述語は、ISO-Prolog 標準に含まれる。