A.20 library(increval): Incremental dynamic predicate modification
All Application Manual Name SummaryHelp

Availability::- use_module(library(increval)).(can be autoloaded)
Source[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.
ClioPatria (version V3.1.1-51-ga0b30a5)