|
|
|||||||||
アトムと数の関係を定義する。
atom_number(-アトム, +数)
atom_number(+アトム, ?数)
もし、アトム が、数として解析可能なアトムならば、数は、その数の値で単一化される。
もし、アトムが変数ならば、数 は数でなければならない。
atom_number/2 は、アトムを 数のテキスト表現で単一化する。
引数
アトム アトム 数 数
例
| atom_number(X,2.3). | X <- '2.3' の代入で、成功。 |
| atom_number('3',Y). | Y <- 3 の代入で、成功。 |
| atom_number('12',12). | 成功. |
| atom_number(X,Y). | 具体化エラー. |
標準
この述語は、ISO-Prolog標準には含まれない。
関連
atom_chars/2, atom_codes/2, atom_concat/3, atom_length/2, char_code/2, number_chars/2, number_codes/2, parse_atom/2/3, sub_atom/5.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/atomic_term/atom_number/print_jp.html published 2008/11/17 update 1998/8/11 (c) 1996-2006 IF Computer Japan | ||||||||
|
