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