projog

3.76. 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.

Examples