public static bool IsAtom(PrologCodeTerm term) { if(term is PrologCodeAtom) { return true; } return false; }