[ 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

- Author: Andrew Cheadle, Joachim Schimpf, IC-Parc
- Copyright © Cisco Systems, Inc
- Date: $Date: 2012/10/25 13:29:01 $

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