|Did you know ...||Search Documentation:|
:- use_module(library(time)).(can be autoloaded)
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.