Indeed — answer set programming has been used for this purpose, see https://arxiv.org/pdf/2212.06719 https://arxiv.org/pdf/2212.06719 (which was co-authored by

Indeed — answer set programming has been used for this purpose, see https://arxiv.org/pdf/2212.06719 https://arxiv.org/pdf/2212.06719 (which was co-authored by Chris Martens, the co-designer of Dusa and the primary author of the Finite-Choice Logic Programming paper).