SWI-Prolog -- incr_propagate

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.