- Documentation
- Reference manual
- Summary
- Library predicates
- library(aggregate)
 - library(apply)
 - library(assoc)
 - library(broadcast)
 - library(charsio)
 - library(check)
 - library(clpb)
 - library(clpfd)
 - library(clpqr)
 - library(csv)
 - library(debug)
 - library(error)
 - library(iostream)
 - library(summaries.d/iostream/tex)
 - library(lists)
 - library(main)
 - library(option)
 - library(optparse)
 - library(ordsets)
 - library(persistency)
 - library(predicate_options)
 - library(prologpack)
 - library(prologxref)
 - library(pairs)
 - library(pio)
 - library(random)
 - library(readutil)
 - library(record)
 - library(registry)
 - library(simplex)
 - library(ugraphs)
 - library(url)
 - library(www_browser)
 - library(solution_sequences)
 - library(thread_pool)
 - library(varnumbers)
 - library(yall)
 
 
 - Library predicates
 
 - Summary
 - Packages
 
 - Reference manual
 
F.2.23 library(prologxref)
| prolog:called_by/2 | (hook) Extend cross-referencer | 
| xref_built_in/1 | Examine defined built-ins | 
| xref_called/3 | Examine called predicates | 
| xref_clean/1 | Remove analysis of source | 
| xref_current_source/1 | Examine cross-referenced sources | 
| xref_defined/3 | Examine defined predicates | 
| xref_exported/2 | Examine exported predicates | 
| xref_module/2 | Module defined by source | 
| xref_source/1 | Cross-reference analysis of source |