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)
[det]
incr_invalidate_call
(
:Goal
)
This is the XSB name, but the manual says
incr_invalidate_calls/1
and the comment with the code suggests this is misnamed.
deprecated
Use
incr_invalidate_calls/1
.
[det]incr_invalidate_call(:Goal)This is the XSB name, but the manual says incr_invalidate_calls/1
and the comment with the code suggests this is misnamed.