SWI-Prolog -- xref

Availability::- use_module(library(prolog_xref)).(can be autoloaded)

[det]xref_source(+Source)

[det]xref_source(+Source, +Options)

Generate the cross-reference data for Source if not already done and the source is not modified. Checking for modifications is only done for files. Options processed:

silent(+Boolean): If true (default false), emit warning messages.
module(+Module): Define the initial context module to work in.
register_called(+Which): Determines which calls are registerd. Which is one of all, non_iso or non_built_in.
comments(+CommentHandling): How to handle comments. If store, comments are stored into the database as if the file was compiled. If collect, comments are entered to the xref database and made available through xref_mode/2 and xref_comment/4. If ignore, comments are simply ignored. Default is to collect comments.
process_include(+Boolean): Process the content of included files (default is true).

Source

File specification or XPCE buffer