Dusa Docs

Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming.

• If you’ve heard of Datalog (as implemented in systems like Soufflé), you may want to start by reading about how Dusa is datalog.
• If you’ve heard of answer set programming (as implemented in systems like Potassco), you may want to start by reading about how Dusa is answer set programming.
• If you have no familarity with either of these, that’s okay too! You may want to start by reading about how Dusa is a graph exploration language. Then you can take a look at some of the other introductions, or fiddle with some of the default examples.
• If you’re interested in the mathematics of finite-choice logic programming, the paper Finite-Choice Logic Programming by Martens, Simmons, and Michael Arntzenius may be of interest.