compound/1

引数が複合項かどうか検査する。

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.

戻る 続く..