Dusa: Eine neue Logikprogrammiersprache, die Graphensuche und Datalog kombiniert

Dusa, eine von Rob Simmons und Chris Martens entwickelte Logikprogrammiersprache, stellt die erste Implementierung der endlich-wahlbasierten Logikprogrammierung dar. Sie kombiniert Elemente von Datalog und Answer Set Programming und dient auch als Graphensuche-Sprache. Zugänglich über einen Web-Editor, ein Kommandozeilenprogramm und eine JavaScript-API (npm), bietet Dusa einen sanften Übergang für Nutzer, die mit Datalog oder ASP vertraut sind, und gleichzeitig einen zugänglichen Einstiegspunkt für Neueinsteiger durch ihre Graphensuche-Funktionen.