I’d like to use
prolog_trace_interception/4 to construct a custom tracing facility within a module. The documentation suggests this was a dynamic predicate so I was expecting it to work much like the
exception/3 hook (multifile, dynamic). When defined, it appears to be static (using
predicate_property) although it works as intended. However, this prevents another module from doing the same (redefined static procedure warning).
Bug or misunderstanding?