current_input/1

identifies the current inputstream.

current_input(-Stream)

current_input/1 unifies Stream with the current inputstream.

Arguments

Stream          stream(term)

Examples

current_input(S).           Succeeds with substitution S <- user_input

Standard

This predicate is part of the ISO-Prolog Standard.

See also