Dusa: A Novel Logic Programming Language Blending Graph Exploration and Datalog
2025-01-18
Dusa, a logic programming language created by Rob Simmons and Chris Martens, marks the first implementation of finite-choice logic programming. Combining elements of Datalog and Answer Set Programming, Dusa also functions as a graph exploration language. Accessible via a web editor, command-line utility, and JavaScript API (npm), Dusa offers a smooth transition for users familiar with Datalog or ASP, while also providing an approachable entry point for newcomers through its graph exploration features.