flushes any buffered information to an outputstream.
>H3>flush_output
flush_output(+Stream)
flush_output flushes any buffered information to the current outputstream, while flush_output(Stream) flushes any buffered information to the outputstream Stream.
Stream output stream
loop :- repeat, write(user_output, '?- '), flush_output(user_output), read(user_input, Term), ( Term == end_of_file ; call(Term), fail ), !.
These predicates are part of the ISO-Prolog Standard.