4.17.3 Edinburgh-style I/O
AllApplicationManualNameSummaryHelp

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