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