Projog - seen - closes the current input stream.

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

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

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

The new input stream becomes user_input.

Examples

See Input and Output

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

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