timeout
¶
The timeout
object provides a portable abstraction over calling a
goal deterministically with a time limit as made available in some form
by some of the supported backend Prolog systems (B-Prolog, ECLiPSe,
SICStus Prolog, SWI-Prolog, XSB, and YAP).
API documentation¶
Open the ../../docs/library_index.html#timeout link in a web browser.
Loading¶
To load all entities in this library, load the loader.lgt
file:
| ?- logtalk_load(timeout(loader)).
Testing¶
To test this library predicates, load the tester.lgt
file:
| ?- logtalk_load(timeout(tester)).