incr_invalidate_calls/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_calls(:Goal)

Invalidate all tables for subgoals of Goal as well as tables that are affected by these.