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.