Add tutorial "Refactoring Grammars using Answer Set Programming"#123

Draft

pwochner wants to merge 1 commit intodocumentationfrom documentation-grammar-refactor-tutorial

+45-37

Commits on Feb 13, 2025

Adds grammar refactoring tutorial.
pwochner
committed