| incr_directly_depends/2 | True
if Goal1 depends on Goal2 in the IDG. |
| incr_invalid_subgoals/1 | List
is a sorted list (set) of the incremental subgoals that are currently
invalid. |
| incr_invalidate_call/1 | This
is the XSB name, but the manual says incr_invalidate_calls/1 and the
comment with the code suggests this is misnamed. |
| incr_invalidate_calls/1 | Invalidate
all tables for subgoals of Goal as well as tables that are affected by
these. |
| incr_is_invalid/1 | True
when Subgoal's table is marked as invalid. |
| incr_propagate_calls/1 | Activate
the monotonic answer propagation similarly to when a new fact is
asserted for a monotonic dynamic predicate. |
| incr_table_update/0 | Updated
all invalid tables. |
| incr_trans_depends/2 | True
for each pair in the transitive closure of incr_directly_depends(G1,
G2). |
| is_incremental_subgoal/1 | This
predicate non-deterministically unifies Subgoal with incrementally
tabled subgoals that are currently table entries. |
