Esempio n. 1
0
 internal bool IsaFilter(Unifiable term, Unifiable filter)
 {
     if (!Unifiable.IsValue(term))
     {
         return(false);
     }
     if (term == "NIL")
     {
         return(false);
     }
     if (!Unifiable.IsNullOrEmpty(filter))
     {
         if (Unifiable.IsFalse(filter))
         {
             return(true);
         }
         if (this.EvalSubL(TextPatternUtils.SafeFormat("(ask-template 'T `(#$isa {0} {1}) #$EverythingPSC)", Cyclify(term), Cyclify(filter)), null) == "NIL")
         {
             return(false);
         }
     }
     return(true);
 }