put_char(X) - writes character X to the output stream.
Writes to the current output stream. Succeeds only once and the operation is not undone on backtracking.
Examples
See Input and Output
put_char(X) - writes a character.put_char(X) - writes character X to the output stream.
Writes to the current output stream. Succeeds only once and the operation is not undone on backtracking.