Stream I/O

Predicates

accept(+Stream, -From, ?NewStream)

Accepts a connection for a stream socket and creates a new socket which can be used for I/O.

at(+Stream, -Pointer)

Succeeds if Position is the position of the stream Stream.

at_eof(+Stream)

Succeeds if the stream Stream is positioned at end of file.

bind(+Stream, ?Address)

Associates an address with a given socket stream.

close(+Stream)

Closes the stream specified by Stream.

close(+Stream, +Options)

Closes the stream specified by Stream.

connect(+Stream, +Address)

Connects a socket with the given address.

current_stream(?Stream)

Succeeds if Stream is a currently open stream.

flush(+Stream)

Flushes the output stream Stream.

get_stream(+StreamId, ?Stream)

Succeeds if Stream is the stream to which the stream StreamId is assigned.

get_stream_info(+Stream, ?Attr, -Value)

Succeeds if the attribute Attr of the open stream Stream has the value Value.

listen(+Stream, +Queue)

Specifies how many connections are accepted for a socket and makes connections available.

new_socket_server(?Socket, ?Address, +Queue)

Opens a new IP socket server stream with a maximum of Queue connections.

open(++SourceSink, +Mode, ?Stream)

Opens the I/O source or sink SourceSink in mode Mode and associates it with the stream identifier Stream.

open(++SourceSink, +Mode, ?Stream, ++Options)

Opens the I/O source or sink SourceSink in mode Mode and associates it with the stream identifier Stream.

seek(+Stream, +Offset)

The pointer in stream Stream is offset Offset from the start of the file

set_stream(+Alias, +Stream)

The symbolic stream name Alias is associated with the stream Stream.

set_stream_property(+Stream, +Prop, +Value)

Sets the property Prop of the stream Stream to the value Value.

socket(+Domain, +Type, ?Stream)

Creates a socket of a given type and domain and associates a stream with it.

stream_select(++StreamList, +Timeout, -ReadyStreams)

Returns streams from StreamList which are ready for I/O, blocking at most Timeout seconds.

stream_truncate(+Stream)

Truncate Stream at the current position