A.6 library(charsio): I/O on Lists of Character Codes
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(charsio): I/O on Lists of Character Codes
format_to_chars/3
format_to_chars/4
write_to_chars/2
write_to_chars/3
atom_to_chars/2
atom_to_chars/3
number_to_chars/2
number_to_chars/3
read_from_chars/2
read_term_from_chars/3
open_chars_stream/2
with_output_to_chars/2
with_output_to_chars/3
with_output_to_chars/4
Packages
Availability:
:- use_module(
library(charsio)
).
(can be autoloaded)
[det]
number_to_chars
(
+Number, -Codes, ?Tail
)
Convert
Number
into a difference list of character codes.
[det]number_to_chars(+Number,
-Codes, ?Tail)[det]number_to_chars(+Number,
-Codes, ?Tail)