This parsers are 1:1 to the ASP Core 2.0c standard ("the standard" from now).

We saw that other parsers from the most used Answer Set Programming solvers like clingo, DLV and DLV2 even though they recognize a super-set of the grammar they aren't 1:1 with the standard.

We decided to make 2 different parsers:

• An LALR(1) parser made with Flex for the lexical analysis and Bison for the parser generation.
• An ALL(k) parser generated with ANTLR v4.