Terminal input and output is controlled with variants of print and read. More sophisticated output is available using format. Input and output using system files is achieved using the same functions and associating a file with an input or output ``stream''.
© Colin Allen & Maneesh Dhagat