Dusa：グラフ探索とDatalogを融合した新しい論理プログラミング言語

Rob SimmonsとChris Martensによって作成された論理プログラミング言語Dusaは、有限選択論理プログラミングの最初のインプリメンテーションです。DatalogとAnswer Set Programmingの要素を組み合わせ、グラフ探索言語としても機能します。Webエディタ、コマンドラインユーティリティ、JavaScript API（npm）を介してアクセスでき、DatalogまたはASPに精通しているユーザーにはスムーズな移行を提供すると同時に、グラフ探索機能を通じて初心者にも使いやすいエントリポイントを提供します。