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);
}
