StreamProperty

Implements ISO's stream_property/2: enumerates, backtracking over every open channel (input and output alike), the pairs of $stream(...) term and stream_property/2 property that hold for it, unifying them respectively with the first and second argument. Reported properties are input/output, one alias(_) per non-reserved alias, and always type(text) (see IOPrimitiveUtils.propertiesOf, since only text streams are supported).

Both arguments act as filters when already bound: binding the first restricts enumeration to that stream, binding the second (to input, output, or alias(_)) to that property.

Throws