Did you know ... Search Documentation:
Predicate dependents/2
 dependents(+Pack, -Dependents) is semidet[private]
True when Dependents is a list of packs that (indirectly) depend on Pack.