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
.
戻る
続く..
冒頭へ
