intercept/3 | Run
Goal as call/1. |
intercept/4 | Similar
to intercept/3, but the copy of Handler is called as call(Copy,Arg),
which allows passing large context arguments or arguments subject to
unification or _destructive assignment_. |
intercept_all/4 | True
when List contains all instances of Template that have been sent using
send_signal/1 where the argument unifies with Ball. |
nb_intercept_all/4 | As
intercept_all/4, but backtracing inside Goal does not reset List. |
send_signal/1 | If
this predicate is called from a sub-goal of intercept/3, execute the
associated _Handler_ of the intercept/3 environment. |
send_silent_signal/1 | As
send_signal/1, but succeed silently if there is no matching intercept
environment. |