Chapter 11  Input and Output

• Streams
  • Predefined Streams
  • Stream Handles and Aliases
  • Opening New Streams
  • Closing Streams
  • Redirecting Streams
  • Finding Streams
  • Stream Properties
• Communication via Streams
  • Character I/O
  • Token I/O
  • Term I/O
  • Newlines
  • General Parsing and Text Generation
  • Flushing
  • Prompting
  • Positioning
• In-memory Streams
  • String Streams
  • Queue streams
• Term Output Formats
  • Write_term and Printf
  • Other Term Output Predicates
  • Default Output Options