Author(s): Manuel Carro.
Version: 1.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.7#52 (2001/1/26, 15:34:13 CET)
This library allows the redefinition of the files to which the special streams user_input, user_output, and user_error point to. On startup they point to the standard input, standard output, and standard error, in Unix style (Windows users may find that standard error stream does not work properly). Changing the file pointed to is useful for, e.g., redirecting the place to which the Prolog's standard error stream goes from within Prolog (e.g., to start a log file).
io_alias_redirection)io_alias_redirection)
Usage: set_stream(StreamAlias, NewStream, OldStream)
StreamAlias with an open stream newStream. Returns in OldStream the stream previusly associated with the alias. The mode of NewStream must match the intended use of StreamAlias.
StreamAlias is currently a term which is not a free variable.
(term_typing:nonvar/1)
NewStream is currently a term which is not a free variable.
(term_typing:nonvar/1)
StreamAlias is the alias of an open stream, i.e., an atom which represents a stream at Prolog level.
(streams_basic:stream_alias/1)
NewStream is an open stream.
(streams_basic:stream/1)
OldStream is an open stream.
(streams_basic:stream/1)
Usage: get_stream(StreamAlias, Stream)
Stream the stream associated with StreamAlias.
StreamAlias is currently a term which is not a free variable.
(term_typing:nonvar/1)
StreamAlias is the alias of an open stream, i.e., an atom which represents a stream at Prolog level.
(streams_basic:stream_alias/1)
Stream is an open stream.
(streams_basic:stream/1)
Go to the first, previous, next, last section, table of contents.