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?