Some examples of answer set programming. You can use the clingo solver to execute them. There is also a docker image available.
Some examples of answer set programming. You can use the clingo solver to execute them. There is also a docker image available.