Dusa : Un nouveau langage de programmation logique combinant exploration de graphe et Datalog

Dusa, un langage de programmation logique créé par Rob Simmons et Chris Martens, marque la première implémentation de la programmation logique à choix fini. Combinant des éléments de Datalog et de la programmation par ensembles de réponses, Dusa fonctionne également comme un langage d'exploration de graphe. Accessible via un éditeur web, un utilitaire en ligne de commande et une API JavaScript (npm), Dusa offre une transition en douceur pour les utilisateurs familiers avec Datalog ou ASP, tout en fournissant un point d'entrée accessible aux nouveaux venus grâce à ses fonctionnalités d'exploration de graphe.