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_errorexistence_error(engine, Engine)threaded_engine_next_reified(worker_1, Answer)
threaded_engine_create/3, threaded_engine_next/2, threaded_engine_yield/1