projog

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

set_input(X) sets the current input to the stream represented by X.

X will be a term returned as the third argument of open, or the atom user_input, which specifies that input to come from the keyboard.

Examples