Retrieves the next answer from an engine. This predicate blocks until an answer becomes available. The predicate fails when there are no more solutions to the engine goal. If the engine goal throws an exception, calling this predicate will re-throw the exception and subsequent calls will fail.
Modes and number of proofs¶
threaded_engine_next(@nonvar, ?term) - zero_or_one