- see(FileName):
Makes the file FileName the current input stream. It is
equivalent to:
open(FileName,read,Stream),set_input(Stream).
- seeing(File):
The current input stream is named FileName. It is equivalent to:
current_input(Stream),stream_property(Stream,file_name(FileName)).
- seen:
Closes the current input stream. It is equivalent to:
current_input(Stream),close(Stream).
- tell(FileName):
Makes the file FileName the current output stream. It is
equivalent to:
open(FileName,write,Stream),set_output(Stream).
- telling(FileName):
The current output stream is named FileName. It is equivalent
to:
current_output(Stream),
stream_property(Stream,file_name(FileName).
- told:
Closes the current output stream. It is equivalent to:
current_output(Stream),close(Stream).
- get(Code):
Code is the next printable byte code in the current input stream.
- get0(Code):
Code is the next byte code in the current input stream.
- put(Code):
Output the character to the current output stream, whose code is Code.
- tab(N):
Outputs N spaces to the current output stream.
- exists(F):
Succeeds if the file F exists.