Did you know ... Search Documentation:
Pack odf_sheet -- prolog/ods/bisect.pl
PublicShow source
 bisect(:Test, +Low, +High, -LowestFail) is semidet
True when LowestFail is the lowest integer between Low and High for which call(Test,LowestFail) fails. Fails if call(Test,High) succeeds.

This predicate assumes that there is a Value such that call(Test,X) is true for all X in [Low..Value) and false for all X in [Value..High].