Availability:
:- use_module(library(prolog_xref)).(can be autoloaded)- xref_prolog_flag(?Source, ?Flag, ?Value, ?Line) is nondet
- True when Flag is set to Value at Line in Source. This is intended to support incremental parsing of a term from the source-file.