Did you know ... Search Documentation:
Predicate parent_of/2