A.21 library(intercept): Intercept and signal interface
All Application Manual Name SummaryHelp

Availability::- use_module(library(intercept)).(can be autoloaded)
Sourceintercept(:Goal, ?Ball, :Handler, +Arg)
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. For example: 
?- intercept(send_signal(x), X, Y=X).
true.

?- intercept(send_signal(x), X, =(X), Y).
Y = x.