4.17.4 Switching between Edinburgh and ISO I/O
All Application Manual Name SummaryHelp

  • 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).