|
|
|||||||||
項とその引数の一つを関連づける。
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_creat_decomp/arg/print_jp.html published 2008/12/1 update 1998/8/11 (c) 1996-2006 IF Computer Japan | ||||||||
|
