atom_number/2

アトムと数の関係を定義する。

atom_number(-アトム, +数)
atom_number(+アトム, ?数)

もし、アトム が、数として解析可能なアトムならば、数は、その数の値で単一化される。
もし、アトムが変数ならば、数 は数でなければならない。 atom_number/2 は、アトムを 数のテキスト表現で単一化する。

引数

アトム            アトム
数                数

例

標準

この述語は、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.