PredicateInfo CheckForPredicateInfoInThisKB(PredicateIndicator p) { PredicateInfo entry; if (!db.TryGetValue(p, out entry)) return null; return entry; }
static PredicateInfo GetPredicateInfo(KnowledgeBase kb, PredicateIndicator p) { PredicateInfo result; if ((result = kb.CheckForPredicateInfoInThisKB(p)) != null) return result; foreach (KnowledgeBase import in kb.imports) if ((result = GetPredicateInfo(import, p)) != null) return result; return null; }