Program in Prolog, which with given grammar creates the LR0 automata for it if it's possible.