current_input(X) succeeds if the name of the current input stream matches with X, else fails.
Examples
See Input and Output
current_input(X) - match a term to the current input stream.current_input(X) succeeds if the name of the current input stream matches with X, else fails.