Source Code and Experimental Data for a Translation from eFLINT Normative Specifications to Clingo Answer-Set Programs

This repository includes a snapshot of a fork of the eFLINT Haskell interpreter (https://gitlab.com/eflint/haskell-implementation), extended with a custom back-end, which translates its internal representation of an eFLINT specification into a Clingo program, suitable for evaluation with the Clingo answer-set solver (https://potassco.org/clingo).

The repository also includes a collection of experimental test cases: eFLINT specification-scenario pairs, which can be used as input to the eFLINT interpreter using either the original Haskell-internal back-end, or our custom translation to Clingo rules.

Finally, the repository includes a command-line utility tool for testing the input/output behaviour of these two modes of the eFLINT interpreter, by visualising their results side-by-side.

Please see the included README file for usage instructions.