A.21 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
)
[semidet]
incr_is_invalid
(
:Subgoal
)
True when
Subgoal
’s table is marked as invalid.
[semidet]incr_is_invalid(:Subgoal)True when Subgoal’s table is marked as invalid.