projog

3.79. seen - closes the current input stream.

The new input stream becomes user_input.

Examples