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