File Handling

see(F)

see/1 (B) F becomes the current input stream. F must be instantiated to an atom at the time of the call.

seeing(F)

seeing/1 (B) F is unified with the name of the current input file.

seen

seen/0 (B) Closes the current input stream.

tell(F)

tell/1 (B) F becomes the current output stream. F must be instantiated to an atom at the time of the call.

telling(F)

telling/1 (B) F is unified with the name of the current output file.

told

told/0 (B) Closes the current output stream.

$exists(F)

$exists/1 (B) Succeeds if file F exists.