引数が複合項かどうか検査する。 ...
移動
次へ 前へ
上へ 最上
参考
atom/1
atomic/1
compound/1
float/1
integer/1
nonvar/1
number/1
var/1
イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 型検査 > compound/1

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.

続く..
MINERVA
ifcomputer logo
f
Expert Services on the Web
言語
English
Japanese
サーバー
USA
Japan
サイトマップ
索引
目次
全体目次
全体索引
印刷向き
imode
PDA
探索
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/compound/home_jp.html
published 2008/10/6 update 1997/6/22 (c) 1996-2006 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 start (AT) ifcomputer.com
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
冒頭へ managed with ubiCMS