dusa v0.0.12

Dusa Language

Dusa is a logic programming language that has features of both Datalog and answer set programming.

• Dusa lives online at dusa.rocks.
• Documentation lives at dusa.rocks/docs
• Source code at sourcehut
• Issue tracker at sourcehut

All documentation and examples in the docs directory and subdirectories are MIT-licensed, but the Dusa implementation in JavaScript is, at present, GPL 3.0 licensed.

Dusa was initially developed by Rob Simmons and Chris Martens wile Rob attended Recurse Center in Fall 2023. Recurse center is a great place to think about ambitious projects like this in a supportive environment full of interesting people!