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_input
(
+Stream
)
Set the current input stream to become
Stream
. Thus,
open(file, read, Stream), set_input(Stream)
is equivalent to
see(file)
.