<div dir="ltr">Hello everybody,<div><br><div>I'm looking for a formal grammar for Mercury. I'm thinking of a declarative specification in the form of e.g. BNF/EBNF or perhaps ANTLR or a different parser generator tool, but if that is not available, anything else that would allow me to more easily write a formal grammar for Mercury would be appreciated.</div></div><div><br></div><div>Modestas Valauskas</div></div>