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 Pointer is the pointer position of the stream Stream.

at_eof(+Stream)

Succeeds if the position of the pointer to stream Stream is at the end of file.

bind(+Stream, ?Address)

Associates an address with a given socket stream.

close(+Stream)

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.

pipe(?StreamIn, ?StreamOut)

Creates a pipe and two streams StreamIn and StreamOut to its read and write ends.

seek(+Stream, +Offset)

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

select(+StreamList, +Timeout, ?ReadyStreams)

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

set_stream(+StreamId, +Stream)

The symbolic stream name StreamId 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.