SWI-Prolog -- call_with_time

Documentation
- Reference manual
- Packages
  - SWI-Prolog C-library
    - Time and alarm library

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

call_with_time_limit(+Time, :Goal)

True if Goal completes within Time seconds. Goal is executed as in once/1. If Goal doesn't complete within Time seconds (wall time), exit using the exception time_limit_exceeded. See catch/3.

Please note that this predicate uses alarm/4 and therefore its effect on long-running foreign code and system calls is undefined. Blocking I/O can be handled using the timeout option of set_stream/2 or waiting for input using wait_for_input/3.