Did you know ... Search Documentation:
Predicate sub_graph/3

Sorry, No manual entry for sub_graph/3