A Logic Expression Parser