The standard input stream is taken from the keyboard and is known as ``user''.
Think of the stream of characters typed in as issuing from a file called ``user''.
The standard output stream is directed to the terminal screen and is known as ``user'' too.
Think of the stream of characters issuing from Prolog as going to a file called ``user''.