Dusa: Un nuevo lenguaje de programación lógica que combina la exploración de grafos y Datalog
2025-01-18
Dusa, un lenguaje de programación lógica creado por Rob Simmons y Chris Martens, representa la primera implementación de la programación lógica de elección finita. Combinando elementos de Datalog y Programación de Conjuntos de Respuestas, Dusa también funciona como un lenguaje de exploración de grafos. Accesible a través de un editor web, una utilidad de línea de comandos y una API de JavaScript (npm), Dusa ofrece una transición fluida para usuarios familiarizados con Datalog o ASP, al tiempo que proporciona un punto de entrada accesible para nuevos usuarios a través de sus funciones de exploración de grafos.