A.32 library(prolog_xref): Cross-reference data collection library
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(prolog_xref): Cross-reference data collection library
          • xref_source/1
          • xref_current_source/1
          • xref_clean/1
          • xref_defined/3
          • xref_called/3
          • xref_exported/2
          • xref_module/2
          • xref_built_in/1
          • Extending the library
    • Packages
Availability::- use_module(library(prolog_xref)).(can be autoloaded)
Sourcexref_built_in(?Callable)
True if Callable is a built-in predicate. Currently this is assumed for all predicates defined in the system module and having the property built_in. Built-in predicates are not registered as `called'.