A.35.1 library(pure_input): Pure Input from files and streams
All Application Manual Name SummaryHelp

Availability::- use_module(library(pure_input)).(can be autoloaded)
Source[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.