arg/3 /MINERVA/Manual/Reference/Predicates/term_creat

項とその引数の一つを関連づける。...

移動
次へ	前へ
上へ	最上

参考

arg/3

copy_term/2

functor/3

=../2

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

arg/3

項とその引数の一つを関連づける。

arg(+N, +複合項, -引数)

arg/3 は、引数を複合項のN番目の引数で単一化する。

引数

N                   整数 (1から複合項のアリティまでの間)
複合項              複合項
引数                項

例

arg(1, f(a,b,c), X).	X <- a の代入で成功。
arg(2, f(X, g((a,h(a,b))), g(a,Z)).	Z <- h(a,b)の代入で成功。
arg(3,f(a,b),X).	失敗.

標準

この述語は、ISO-Prolog 標準に含まれる。

関連

copy_term/2, functor/3, '=..'/2.

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

索引

全体目次

全体索引

印刷向き

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_creat_decomp/arg/home_jp.html
published 2008/9/1 update 1998/8/11 (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

冒頭へ