11.3.140 number_codes/2 [ISO]

Synopsis

number_codes(+Number, -Codes)

number_codes(-Number, +Codes)

Codes is the codes comprising the printed representation of Number.

Arguments

Number
number
Codes
codes

Description

Initially, either Number must be instantiated to a number, or Codes must be instantiated to a proper codes.

If Number is initially instantiated to a number, Codes will be unified with the codes that make up its printed representation.

If Number is uninstantiated, Codes should be instantiated to a codes that corresponds to the correct syntax of a number, and Number will be bound to that number.

Exceptions

instantiation_error
Number and Codes are both uninstantiated
type_error
Number is not a number or Codes is not a list
domain_error
Codes is not a codes
representation_error
Codes is a list corresponding to a number that can't be represented
syntax_error
Codes does not correspond to a syntactically valid number

Examples

     | ?- number_codes(foo, L).
     
     ! Type error in argument 1 of number_codes/2
     ! expected a number, but found foo
     ! goal:  number_codes(foo,_104)
     | ?- number_codes(431, L).
     
     L = [52,51,49]
     | ?- number_codes(X, [102,111,111]).
     
     ! Syntax error in number_codes/2
     ! number syntax
     ! in line 0
     | ?- number_codes(X, [52,51,49]).
     
     X = 431
     | ?- number_codes(X, "15.0e+12").
     
     X = 1.5E+13

See Also

number_chars/2.


Send feedback on this subject.