Did you know ... Search Documentation:
Predicate expand/2
 expand(+Term, -Clauses) is semidet[private]