time:call_with_time

call_with_time_limit(+Time, :Goal) is det

call_with_time_limit(+Time, :Goal, +Context) is det

Call Goal, while watching out for a (wall-time) limit. If this limit is exceeded, the exception time_limit_exceeded is raised. call_with_time_limit/3 throws time_limit_exceeded(Context). Goal is called as in once/1.

throws: - time_limit_exceeded (call_with_time_limit/2) or time_limit_exceeded(Context) (call_with_time_limit/3).