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_directly_depends
(
:Goal1, :Goal2
)
True if
Goal1
depends on
Goal2
in the IDG.
Compatibility
: In XSB, at least one of Goal 1 or Goal 2 must be bound. This implementation may be used with both arguments unbound.
[nondet]incr_directly_depends(:Goal1,
:Goal2)True if Goal1 depends on Goal2 in the IDG.