Dusa is a logic programming language developed by Rob Simmons and Chris Martens, introducing finite-choice logic programming. It can be compared to Datalog and answer set programming, but it also serves as a graph exploration language. For those unfamiliar with these concepts, Dusa offers default examples and a user-friendly web editor for easy access. For those interested in the mathematical aspects, the paper Finite-Choice Logic Programming by Martens, Simmons, and Michael Arntzenius is recommended. Dusa can be used through a web editor, command-line utility, or JavaScript API. Overall, Dusa offers a unique approach to logic programming.
https://dusa.rocks/docs/