Term I/O

current_op(P,T,A)

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)

write arguments A according to control string C

format(S,C,A)

write arguments A on stream S according to control string C

op(P,T,A)

make atom A an operator of type T with precedence P

portray(T)

hook, which is called when allows user to print(T).

portray_clause(C)

write clause C to the current output stream

print(T)

display the term T on the current output stream using portray/1 or write/1

print(S,T)

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

read(T)

read term T from the current input stream

read(S,T)

read term T from stream S

read_term(O,T)

read term T according to options O

read_term(S,O,T)

read T from stream S according to options O

write(T)

write term T on the current output stream

write(S,T)

write term T on stream S

write_canonical(T)

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

write_canonical(S,T)

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

writeq(T)

write term T on the current output stream, quoting atoms where necessary

writeq(S,T)

write term T on stream S, quoting atoms where necessary

write_term(T,O)

writes T to current output with options O

write_term(S,T,O)

writes T to S according to options O