This library defines the predicate check/0 and a few friends that allow for a quick-and-dirty cross-referencing.
The typical usage of this predicate is right after loading your program to get a quick overview on the completeness and possible conflicts in your program.
?- list_undefined. Warning: The predicates below are not defined. If these are defined Warning: at runtime using assert/1, use :- dynamic Name/Arity. Warning: Warning: rdf_edit:rdfe_retract/4, which is referenced by Warning: 1-st clause of rdf_edit:undo/4 Warning: rdf_edit:rdfe_retract/3, which is referenced by Warning: 1-st clause of rdf_edit:delete_object/1 Warning: 1-st clause of rdf_edit:delete_subject/1 Warning: 1-st clause of rdf_edit:delete_predicate/1 ?- edit(rdf_edit:undo/4).
useras well as in a normal module. I.e. predicates for which the local definition overrules the global default definition.