11.2.22 Term I/O

char_conversion(+InChar, +OutChar) ISO

The mapping of InChar to OutChar is added to the character-conversion mapping.

current_char_conversion(?InChar, ?OutChar) ISO

InChar is mapped to OutChar in the current character-conversion mapping.

current_op(?P,?T,?A) ISO

atom A is an operator of type T with precedence P

display(+T)

write term T to the user output stream in prefix notation

format(+C,:A)

format(+S,+C,:A)

write arguments A on stream S according to control string C

op(+P,+T,+A) ISO

make atom A an operator of type T with precedence P

user:portray(+T) hook

tell print/[1,2] and write_term/[2,3] what to do

portray_clause(+C)

portray_clause(+S,+C)

write clause C to the stream S

print(+T) hookable

print(+S,+T) hookable

display the term T on stream S using user:portray/1 or write/2

read(-T) ISO

read(+S,-T) ISO

read term T from stream S

read_term(-T,+O) ISO

read_term(+S,-T,+O) ISO

read T from stream S according to options O

write(+T) ISO

write(+S,+T) ISO

write term T on stream S

write_canonical(+T) ISO

write_canonical(+S,+T) ISO

write term T on stream S so that it can be read back by read/[1,2]

writeq(+T) ISO

writeq(+S,+T) ISO

write term T on stream S, quoting atoms where necessary

write_term(+T,+O) ISO,hookable

write_term(+S,+T,+O) ISO,hookable

writes T to S according to options O