Added new hooks: xsb_intercept_assert_hook and xsb_intercept_retractall_hook, to allow asserts and retractalls to be replaced (mostly so e.g. assert(p(a)) can be turned into assert(p_int(a)).
Authored by: dwarren 2019-01-28
Parent: [r9486]
Child: [r9488]