|
private CheckForPredicateInfoInThisKB ( |
||
| functor | ||
| arity | int | |
| return | ||
PredicateInfo CheckForPredicateInfoInThisKB(Symbol functor, int arity)
{
return CheckForPredicateInfoInThisKB(new PredicateIndicator(functor, arity));
}
|
KnowledgeBase::CheckForPredicateInfoInThisKB ( Prolog.PredicateIndicator p ) : |
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;
}