|
|
|||||||||
項をコピーする。
copy_term(+項1, -項2)
項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 標準に含まれる。
関連
arg/3, functor/3, '=..'/2.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_creat_decomp/copy_term/print_jp.html published 2008/12/1 update 1998/8/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
