CheckForPredicateInfoInThisKB() private method

private CheckForPredicateInfoInThisKB ( Prolog.PredicateIndicator p ) : PredicateInfo
p Prolog.PredicateIndicator
return PredicateInfo
Ejemplo n.º 1
0
 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;
 }
Ejemplo n.º 2
0
        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);
        }
Ejemplo n.º 3
0
 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;
 }