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
Modes and number of proofs¶
threaded_engine_next_reified(@nonvar, ?nonvar) - one
Engine is a variable:
Engine is neither a variable nor the name of an existing engine: