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.

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), ...