主要观点：Dusa 是由 Rob Simmons 和 Chris Martens 设计的逻辑编程语言，是有限选择逻辑编程的首个实现。
关键信息：

• 若听说过 Datalog（如在 Soufflé 系统中实现），可先读关于 Dusa 是 Datalog 的内容。
• 若听说过答案集编程（如在 Potassco 系统中实现），可先读关于 Dusa 是答案集编程的内容。
• 若对两者都不熟悉，可先读关于 Dusa 是图探索语言的内容，然后可查看其他介绍或尝试默认示例。
• 对有限选择逻辑编程的数学感兴趣，可参考 Martens、Simmons 和 Michael Arntzenius 的论文《Finite-Choice Logic Programming》。
  重要细节：使用 Dusa 最简便的方式是在其网页编辑器中，也可通过 Node 包管理器以命令行实用程序和 JavaScript API 的形式使用。