[ Reference Manual | Alphabetic Index ]

library(timeout_simple)

Impose time limit for goals (special version)   [more]

Predicates

timeout(+Goal, ++TimeLimit, +TimeOutGoal)
Run the goal Goal for a maximum of TimeLimit seconds.
timeout(+Goal, ++TimeLimit, +TimeOutGoal, ++SolutionMode, ?Timer, ?DueTime, ?TimeRemaining)
Run the goal Goal for a maximum of TimeLimit seconds.

Description

This library prvides the same predicates as lib(timeout), with the following differences: 1. timeouts can abort certain long-running built-in predicates, like looping unifications. 2. timeout predicates cannot be nested. 3. it uses timer events directly, and thus cannot be used together with after-events.

About


Generated from timeout_simple.eci on 2022-09-03 14:26