prolog_wrap:current_predicate

current_predicate_wrapper(:Head, -Name, -Wrapped, -Body) is nondet: True if Head is wrapped with Body. The arguments are compatible with wrap_predicate/4 such that the result may be used to re-create the wrapper.
Wrappers are enumerated starting with the first registered (innermost) wrapper.