|
|
|||||||||
引数が複合項かどうか検査する。
compound(+項)
compound/1 は、項 は複合項ならば成功し、そうでなければ失敗する。
引数
項 項
例
| compound([l,i,s,t]). | 成功. |
| compound(f(X,Y)). | 成功. |
| X=a*(b+c), compound(X). | X <- a*(b+c) の代入で、成功。 |
| compound([a,t,o,m]). | 成功. |
| compound('this is an atom'). | 失敗. |
標準
この述語は、ISO-Prolog 標準に含まれる。
関連
atom/1, atomic/1, float/1, integer/1, nonvar/1, number/1, var/1.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/compound/print_jp.html published 2008/12/1 update 1997/6/22 (c) 1996-2006 IF Computer Japan | ||||||||
|
