threaded_engine_next_reified/2¶
Description¶
threaded_engine_next_reified(Engine, Answer)
Retrieves the next reified answer from an engine. This predicate
always succeeds and blocks until an answer becomes available.
Answers are returned using the terms the(Answer)
, no
, and
exception(Error)
.
Modes and number of proofs¶
threaded_engine_next_reified(@nonvar, ?nonvar) - one
Errors¶
Engine is a variable:
instantiation_error
Engine is neither a variable nor the name of an existing engine:
existence_error(engine, Engine)
Examples¶
% get the next reified answer from the worker_1 engine:
| ?- threaded_engine_next_reified(worker_1, Answer).