public static bool IsStruct(PrologCodeTerm term)
{
if(term is PrologCodeClause)
{
return ((PrologCodeClause)term).Arity > 0;
}
if(term is PrologCodeFact)
{
return ((PrologCodeFact)term).Arity > 0;
}
if(term is PrologCodePredicate)
{
return ((PrologCodePredicate)term).Arity > 0;
}
return false;
}