4.17.3 Edinburgh-style I/O
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Input and output
Edinburgh-style I/O
see/1
tell/1
append/1
seeing/1
telling/1
seen/0
told/0
Packages
Availability:
built-in
seeing
(
?SrcDest
)
Same as
current_input/1
, except that
user
is returned if the current input is the stream
user_input
to improve compatibility with traditional Edinburgh I/O. See the introduction of
section 4.17.3
for details.