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 progr