The library xref.pl defines the global predicate xref(FileList). When called, this predicate will examine the given file or list of file names and print separately predicates which are defined and those that are not defined in the given file(s).
