static private GetPredicateInfo ( |
||
kb | ||
p | Prolog.PredicateIndicator | |
Результат |
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;
}