- lazy_get_codes(+Stream, +N, -List, -Tail)
- Lazy list iterator to get character codes from a stream.
- See also
- - library(pure_input) The predicate lazy_get_codes/4 provides
similar functionality to what stream_to_lazy_list/2 does while
in addition library(pure_input) is faster due to the use of more
low-level primitives and supports fetching the location in the
stream.