|
|
|||||||||
引数が数かどうか検査する。
number(+項)
number/1 は項 が数ならば成功し、そうでなければ失敗する。
引数
項 項
例
| number(-11.3). | 成功. |
| number(100). | 成功. |
| number(Number). | 失敗. |
| X is 3, Y is 2, number(X+Y). | 失敗. |
標準
この述語は、ISO-Prolog 標準にふくまれる。
関連
atom/1, atomic/1, compound/1, float/1, integer/1, nonvar/1, var/1.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/number/print_jp.html published 2008/12/1 update 1997/6/22 (c) 1996-2006 IF Computer Japan | ||||||||
|
