4.17.4 Switching between Edinburgh and ISO I/O
AllApplicationManualNameSummaryHelp

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