Character Input/Output

get_char(?C)

get_char(+Stream,?C)

C is the next character read from Stream (or by default, from stream user_input).

put_char(+C)

put_char(+Stream,+C)

Character C is output onto Stream (or by default, onto stream user_output).