Projog - seen - closes the current input stream.

3.78. see(X) - opens a file and sets it as the current input stream.

3.80. set_input(X) - sets the current input.

3.79. `seen` - closes the current input stream.

The new input stream becomes user_input.

Examples

See Input and Output

3.78. see(X) - opens a file and sets it as the current input stream.

3.80. set_input(X) - sets the current input.