SWI-Prolog -- lazy_list

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(pio): Pure I/O
      - library(pure_input): Pure Input from files and streams
        
        phrase_from_file/2
        
        phrase_from_file/3
        
        phrase_from_stream/2
        
        syntax_error//1
        
        lazy_list_location//1
        
        lazy_list_character_count//1
        
        stream_to_lazy_list/2
- Packages

Availability::- use_module(library(pure_input)).(can be autoloaded)

[det]lazy_list_location(-Location)//

Determine current (error) location in a lazy list. True when Location is an (error) location term that represents the current location in the DCG list.

Location is a term file(Name, Line, LinePos, CharNo) or stream(Stream, Line, LinePos, CharNo) if no file is associated to the stream RestLazyList. Finally, if the Lazy list is fully materialized (ends in []), Location is unified with end_of_file-CharCount.

See also: lazy_list_character_count//1 only provides the character count.