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