4.17.4 Switching between Edinburgh and ISO I/O
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Input and output
Switching between Edinburgh and ISO I/O
set_input/1
set_output/1
current_input/1
current_output/1
Packages
Availability:
built-in
[ISO]
set_output
(
+Stream
)
Set the current output stream to become
Stream
. See also
with_output_to/2
.