SWI-Prolog -- incr_propagate

Documentation
- Reference manual
  - Tabled execution (SLG resolution)
    - Monotonic tabling
      - Monotonic tabling with external data
        
        incr_propagate_calls/1
- Packages

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

[det]incr_propagate_calls(:Answer)

Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate. The Answer term must match a monotonic dynamic predicate.

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

incr_propagate_calls(:Answer)

Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate. The Answer term must match a monotonic dynamic predicate. See section 7.8.3 for an example.