CurrentInput
Implements ISO's current_input/1: unifies the argument with the $stream(...) term of the current input stream (the context's current input, or its standard input if none was SetInput) if the argument is unbound; if it is already bound to a $stream(...) term, succeeds iff it already denotes that same channel.
Throws
if the argument names a well-formed stream term for which no channel is currently open.
(stream_or_alias) if it is bound to something other than a $stream(...) term.