private List<Term> processTerms()
{
consume();
List<Term> terms = new List<Term>();
match("(");
Term term = parseTerm();
terms.Add(term);
while (lookAhead(1).getType() == (int)LogicTokenTypes.COMMA)
{
match(",");
term = parseTerm();
terms.Add(term);
}
match(")");
return terms;
}