latex">
The I/O streams
user_input
, user_output
and
user_error
are closed if they are connected to a terminal
(see tty
property in stream_property/2).
Input streams are rebound to a dummy stream that returns EOF. Output
streams are reboud to forward their output to Stream.