[ Character I/O | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

nl

A newline is printed on the output stream.

Description

Used to print a newline sequence on the current output stream. The exact character sequence emitted depends on the setting of the stream's end_of_line flag (lf or crlf). In addition, if the stream's flush flag is set to end_of_line, the stream is also flushed.

Modes and Determinism

See Also

nl / 1, writeln / 1