LR-1-parser_First_order_logic This code contains the implementation of LR(1) parser for First-Order logic.