|
|
|||||||||
複合項を作るか、関数子とアリティを決定する。
functor(+複合項, -関数子, -アリティ)
functor(-複合項, +関数子, +アリティ)
もし、複合項 が複合項ならば、関数子は、 複合項の関数子で、アリティ は、 複合項のアリティとなる。
もし、複合項 がアトミック項 (an アトム or a 数) ならば、関数子
は、そのアトミック項で、アリティ は、0となる。
もし、複合項 が変数ならば、関数子は、アトミック項、アリティは 0 から 127 までの整数でなければならない。
もし、<関数子>はアトムでないなら、そのアリティでなければならない。
引数
複合項 複合項 または アトミック項 関数子 アトミック項 アリティ 整数 または 整数表現 (0 から 127 まで)
例
| functor(f(a,b,c),F,A). | F <- f, A <- 3 の代入で、成功。 |
| functor(X,functor,3). | X <- functor(_1, _2, _3) の代入で、成功。 |
| functor(f(X),f,2). | 失敗 |
標準
この述語は、ISO-Prolog 標準に含まれる。
関連
arg/3, copy_term/2, '=..'/2.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_creat_decomp/functor/print_jp.html published 2008/12/1 update 1998/8/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
