Customization¶
Customizing the parser¶
Parsing and translating the COOM files is done via the Python target of ANTLR v4. - To get started have a look at the COOM grammar - You can customize the translation by modifying the ASP Visitor
Tip
More information on the Python target of ANTLR v4 can be found here.
Add encodings¶
- Check out the Encodings folder.
- Loading of the encodings is handled with clingo's Application class.
Warning
If using a different fact format, you might have to modify the preprocessing encoding located in the Encodings folder as well.
Changing the grammar Generate ANTLR4 Python files¶
If you make changes to the grammar, you will need to re-generate the necessary ANTLR4 Python files used by the parser. This can be done by executing
These files are
Contributing¶
If you want to contribute to the COOM Suite, check out the following guidelines.