public static bool IsVariable(PrologCodeTerm term) { if(term is PrologCodeVariable) { return true; } return false; }