|Did you know ...||Search Documentation:|
success(the answer was produced within Time_ms) or
time_out(Goal did not terminate within Time_ms). If Goal succeeds with a choice point, backtracking into it re-applies the time limit, i.e., each solution gets a Time_ms time limit.
Calls to time_out/3 can be nested. If an outer time out is
triggered first, the inner time out is cancelled using a
time_out(Id) exception and the outer one binds Result to