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
telling(?SrcDest)
Same as current_output/1, except that user is returned if the current output is the stream user_output to improve compatibility with traditional Edinburgh I/O. See the introduction of section 4.17.3 for details.