public void DeclareUntraced(PredicateIndicator p) { if (CheckForPredicateInfoInThisKB(p) != null) EntryForStoring(p).Trace = false; else if (this.Parent != null) this.Parent.DeclareTraced(p); else throw new UndefinedPredicateException(p); }