Dusa is an implementation of [finite-choice logic programming](https://arxiv.org/abs/2405.19040), which takes ideas from logic programming in both Datalog and answer set programming.
