Dusa Docs

Dusa is a logic programming language.

• 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.