private CheckForPredicateInfoInThisKB ( Prolog.PredicateIndicator p ) : |
||
p | Prolog.PredicateIndicator | |
return |
PredicateInfo CheckForPredicateInfoInThisKB(PredicateIndicator p)
{
PredicateInfo entry;
if (!db.TryGetValue(p, out entry))
return null;
return entry;
}
KnowledgeBase::CheckForPredicateInfoInThisKB ( |
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; }