incr_invalidate_call/1

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(increval): Incremental dynamic predicate modification
- Packages

Availability::- use_module(library(increval)).(can be autoloaded)

Source

[det]incr_invalidate_call(:Goal)

This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed.

deprecated: Use incr_invalidate_calls/1.