Comments
Lazy array of bindings.
Also return the stack and allow passing it to methods - to reduce number
of access to the ThreadLocal.
AssertionMode
unify(Term goalTerm, Bindings theGoalBindings, DataFact dataFact)
New but maybe not needed - performance gain not guaranteed.
New but maybe not needed - performance gain not guaranteed.
New but maybe not needed - performance gain not guaranteed.
atom()
TermFactory
DataFacts handled.
terms()
setTermAdapter()
setTermAdapter()
dataFactProviders
dataFactProviders
Unification for DataFact
Checkpoint