Availability:
:- use_module(library(prolog_xref)).(can be autoloaded)- xref_done(+Source, -Time) is det
- Cross-reference executed at Time
:- use_module(library(prolog_xref)).(can be autoloaded)