identifies the current inputstream.
current_input/1 unifies Stream with the current inputstream.
Stream stream(term)
current_input(S). Succeeds with substitution S <- user_input
This predicate is part of the ISO-Prolog Standard.
Up read on...