/usr/lib/swipl/library/pure_input.pl
All Application Manual Name SummaryHelp

 lazy_list_location(-Location)// is det
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.
Arguments:
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.
ClioPatria (version V3.1.1-51-ga0b30a5)