built-in predicate
threaded_engine_fetch/1
Description
threaded_engine_fetch(Term)
Fetches a term from the engine term queue. Blocks until a term is available. Fails if not called from within an engine.
Note
This predicate requires a backend Prolog compiler providing
compatible multi-threading primitives. The value of the read-only
engines flag is set to supported when that
is the case.
Modes and number of proofs
threaded_engine_fetch(?term) - zero_or_one
Errors
(none)
Examples
% fetch a term from the engine term queue:
..., threaded_engine_fetch(Term), ...
See also