Character I/O

Predicates

get(?Ascii)

Reads the next character from the current input stream and unifies its ASCII code with Ascii.

get(+Stream, ?Ascii)

Reads the next character from the input stream Stream and unifies its ASCII code with Ascii.

get_char(?Char)

Reads the next character from the current input and unifies it with a single character string Char.

get_char(+Stream, ?Char)

Reads the next character from the input stream Stream and unifies it with a single character string Char.

nl

A newline is printed on the output stream.

nl(+Stream)

A newline is printed on the output stream Stream.

put(+Ascii)

The character represented by the ascii integer Ascii is put onto the buffered current output.

put(+Stream, +Ascii)

The character represented by the ascii integer code Ascii is put onto the buffered output stream Stream.

put_char(+Char)

Puts the single character string Char onto the buffered current output.

put_char(+Stream, +Char)

Puts the single character string 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_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(?Ascii)

Succeeds if the ascii code of the next character read in raw mode from the current input is successfully unified with Ascii.

tyi(+Stream, ?Ascii)

Succeeds if the ascii code of the next character read in raw mode from the input stream Stream is successfully unified with Ascii.

tyo(+Ascii)

The character represented by the ascii integer Ascii is put onto the current output in raw mode.

tyo(+Stream, +Ascii)

The character represented by the ascii integer Ascii is put onto the output stream Stream in raw mode.

unget(+Stream)

Back up one character on Stream