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