Did you know ... Search Documentation:
Predicate defined/2
 defined(?File, ?Callable)[private]
True if Callable is defined in File and not imported.