Brigham Young University : B.S.C.S. : Discrete Mathematics : Datalog Parser