copy_term/2 /MINERVA/Manual/Reference/Predicates/term_creat_decomp/copy

項をコピーする。...

移動
次へ	前へ
上へ	最上

参考

arg/3

copy_term/2

functor/3

=../2

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 項の生成と分解 > copy_term/2

copy_term/2

項をコピーする。

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.

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

索引

全体目次

全体索引

印刷向き

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_creat_decomp/copy_term/home_jp.html
published 2008/9/1 update 1998/8/7 (c) 1996-2006 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	start (AT) ifcomputer.com
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

冒頭へ