- read_stream_to_codes_until_end_of_file(+In, -Codes) is nondet
- read_stream_to_codes_until(+In, -Codes, +Until) is nondet
- Reads Codes from a stream until it finds a specific code term, such
as
end_of_file
. The predicate reads the stream until it encounters
the Until code term, which defaults to end_of_file
. It succeeds
non-deterministically for each chunk read before reaching the
Until code term. Use this predicate to process multiple messages
or data chunks from a stream, handling each chunk separately. The
Codes variable contains the codes read from the stream, and the
predicate succeeds until it reaches the Until condition.
- Arguments:
-
In | - The input stream to read from. |
Codes | - The codes read from the stream. |
Until | - The code term that terminates the reading. |
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- read_stream_to_codes_until(Arg1, Arg2, Arg3)