10.3 Engine predicate reference
AllApplicationManualNameSummaryHelp

Availability:built-in
Source[det]engine_next_reified(+Engine, -Term)
Similar to engine_next/2, but instead of success, failure or or raising an exception, Term is unified with one of terms below. This predicate is provided primarily for compatibility with Lean Prolog.
the(Answer)
Goal succeeded with Template bound to Answer or Goal yielded with a term Answer.
no
Goal failed.
exception(Exception)
Goal raises the error Exception.
ClioPatria (version V3.1.1-21-gb8003bb)