Noeud: Input and Output of Terms, Noeud « Next »: Character Input/Output, Noeud « Previous »: Reading-in Programs, Noeud « Up »: Input / Output
read(
?Term)
read(
+Stream,
?Term)
read(
Stream,
Term)
causes the end
of Stream to be reached, Term is unified with the term
eof
. Further calls to read/2
for the same stream
will then fail, unless the stream is connected to the
terminal.
read_term(
?Term,
+Vars)
read_term(
+Stream,
?Term,
+Vars)
read/1-2
with a third argument +Vars. This argument
is unified with a list of Name=Var pairs, where each
Name is an atom indicating the name of a non-anonymous variable in
the term, and Var is the corresponding variable.
write(
?Term)
write(
+Stream,
?Term)
writeln(
?Term)
writeln(
+Stream,
?Term)
write/1-2
except that a newline is send,
display(
?Term)
writeq(
?Term)
writeq(
+Stream,
?Term)
write(
Stream,
Term)
, but the names of atoms
and functors are quoted where necessary to make the result acceptable as
input to read/2
, provided the same operator declarations are in
effect.