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

threaded_engine_post/2