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 functional 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)   hookable,ISO

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

writes T to S according to options O