A.20 library(increval): Incremental dynamic predicate modification
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(increval): Incremental dynamic predicate modification
is_incremental_subgoal/1
incr_directly_depends/2
incr_trans_depends/2
incr_invalid_subgoals/1
incr_is_invalid/1
incr_invalidate_calls/1
incr_invalidate_call/1
incr_table_update/0
incr_propagate_calls/1
Packages
Availability:
:- use_module(
library(increval)
).
(can be autoloaded)
[nondet]
incr_trans_depends
(
:Goal1, Goal2
)
True for each pair in the transitive closure of
incr_directly_depends(G1, G2)
.
[nondet]incr_trans_depends(:Goal1,
Goal2)[nondet]incr_trans_depends(:Goal1,
Goal2)