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