simple-logic-parser A program that takes as input a SimpleLogic program, and determines if that program contains any syntax errors.