call_with_time

Availability::- use_module(library(time)).(can be autoloaded)

[det]call_with_time_limit(+Time, :Goal)

[det]call_with_time_limit(+Time, :Goal, +Context)

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).