11.3.141 number_chars/2 [ISO]

Synopsis

number_chars(+Number, -Chars)

number_chars(-Number, +Chars)

Chars is the chars comprising the printed representation of Number.

Arguments

Number

number

Chars

chars

Description

Initially, either Number must be instantiated to a number, or Chars must be instantiated to a proper chars.

If Chars is instantiated to a chars that corresponds to the correct syntax of a number, Number will be unified with that number.

Else, Number should be instantiated to a number, and Chars will be unified with the chars that make up its printed representation.

Exceptions

instantiation_error

Number and Chars are both uninstantiated

type_error

Number is not a number or Chars is not a list, or Chars is not a chars

representation_error

Chars is a list corresponding to a number that can't be represented

syntax_error

Chars does not correspond to a syntactically valid number

See Also

number_codes/2.