threaded_engine_next_reified(Engine, Answer)
Retrieves the next reified answer from an engine. This predicate predicate always succeeds and blocks until an answer becomes available. Answers are returned using the terms the(Answer)
, no
, and exception(Error)
.
threaded_engine_next_reified(@nonvar, ?nonvar)
instantiation_error
existence_error(engine, Engine)
threaded_engine_next_reified(worker_1, Answer)
threaded_engine_create/3
, threaded_engine_next/2
, threaded_engine_yield/1