Go to the previous, next section.

Timeout Predicate

The timeout package, which may be loaded by the query

| ?- use_module(library(timeout)).

contains the predicate:

@

The Goal is executed as if by call/1. If the execution exceeds Time milliseconds, virtual time, the goal will fail and Result is unified with the atom time_out. If the goal succeeds within the specified time Result is unified with the atom success. Time must be a number between (not including) 0 and 2147483647.

The predicate(s) in this package is primarily intended for development.

Go to the previous, next section.