defines a relation between an atom and a number.
If Atom is an atom which is parseable as number, then Number
will be unified with the value of that number.
If Atom is a variable, then Number must be a number.
atom_number/2 will unify Atom with the textual representation
of the Number.
Atom atom Number number
| atom_number(X,2.3). | Succeeds with substitution X <- '2.3' |
| atom_number('3',Y). | Succeeds with substitution Y <- 3. |
| atom_number('12',12). | Succeeds. |
| atom_number(X,Y). | instantiation_error. |
This predicate is not part of the ISO-Prolog Standard.
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.
| scroll to top |
|