Character I/O

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(+Stream, ?Length, -String)

Reads a string from Stream 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