[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.
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.