[semidet]xref_public_list(+File,
-Path, -Export, +Src)These predicates fail if File is not a module-file.
| File | is a file speficiation for prolog_open_source/2 or a .qlf file name. Note this makes a stream a valid input. |
| 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. |