[ 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.
Fail Conditions
None.
Resatisfiable
No.
See Also
nl / 1