Tests Related to the Break Level

These tests can be used both inside and outside the condition evaluation process, and also can be used in queries about past break levels.

break_level(N)

We are at (or focused on) break level N (N = 0 for the outermost break level).

max_inv(MaxInv)

The last invocation number used within the break level is MaxInv. Note that this invocation number may not be present in the backtrace (because the corresponding call exited deterministically).

private(Priv)

The private information associated with the break level is Priv. Similarly to goal_private/1, this condition refers initially to an unbound variable and can be used to store an arbitrary Prolog term. However, it is strongly recommended that Priv is used as an open ended list, see Storing User Information in the Backtrace.