- Documentation
- Reference manual
- The SWI-Prolog library
- library(prolog_xref): Prolog cross-referencer data collection
- called_by/4
- called_by/2
- meta_goal/2
- hook/1
- xref_source/1
- xref_source/2
- xref_clean/1
- xref_current_source/1
- xref_done/2
- xref_called/3
- xref_called/4
- xref_called/5
- xref_defined/3
- xref_definition_line/2
- xref_exported/2
- xref_module/2
- xref_uses_file/3
- xref_op/2
- xref_prolog_flag/4
- xref_comment/3
- xref_comment/4
- xref_mode/3
- xref_option/2
- xref_meta/3
- xref_meta/2
- xref_meta_src/3
- xref_hook/1
- xref_public_list/3
- xref_public_list/4
- xref_public_list/6
- xref_public_list/7
- xref_source_file/3
- xref_source_file/4
- library(prolog_xref): Prolog cross-referencer data collection
- The SWI-Prolog library
- Packages
- Reference manual
These predicates fail if File is not a module-file.
Path | is the canonical path to File |
Module | is the module defined in Path |
Export | is a list of predicate indicators. |
Meta | is a list of heads as they appear in meta_predicate/1 declarations. |
Src | is the place from which File is referenced. |
- deprecated
- New code should use xref_public_list/3, which unifies all variations using an option list.