[ Reference Manual | Alphabetic Index ]

Character I/O

Built-ins to input and output characters or byte strings

Predicates

get(-Code)
Reads the next character or byte from the current input stream
get(+Stream, -Code)
Reads the next character from the input stream Stream
get_char(-Char)
Reads the next character from the current input
get_char(+Stream, -Char)
Reads the next character from the input stream Stream
nl
A newline is printed on the output stream.
nl(+Stream)
A newline is printed on the output stream Stream.
put(+Code)
The character represented by the integer Code is put onto the buffered current output
put(+Stream, +Code)
The character represented by the integer code Code is put onto the buffered output stream Stream.
put_char(+Char)
Puts the single character text Char onto the buffered current output.
put_char(+Stream, +Char)
Puts the single character text Char onto the buffered output stream Stream.
read_string(+Delimiters, ?Length, -String)
Reads a string from the input stream up to a delimiter or up to a specified length
read_string(+Stream, +Delimiters, ?Length, -String)
Reads a string from the stream Stream up to a delimiter or up to a specified length.
read_string(+Stream, +SepChars, +PadChars, -Separator, -String)
Reads a string from the stream Stream up to a delimiter.
read_token(-Token, -Class)
Succeeds if the next token from the current input stream is successfully read and unified with Token and its token class with Class.
read_token(+Stream, -Token, -Class)
Succeeds if the next token from the input stream Stream is successfully read and unified with Token and its token class with Class.
tyi(-Code)
Succeeds if the code of the next character read in raw mode from the current input is successfully unified with Code.
tyi(+Stream, -Code)
Succeeds if the code of the next character read in raw mode from the input stream Stream is successfully unified with Code.
tyo(+Code)
The character represented by the integer Code is put onto the current output in raw mode.
tyo(+Stream, +Code)
The character represented by the integer Code is put onto the output stream Stream in raw mode.
unget(+Stream)
Back up one character on Stream

Generated from iochar.eci on 2017-09-29 01:22