Dusa: Uma Nova Linguagem de Programação Lógica que Combina Exploração de Grafos e Datalog

2025-01-18

Dusa, uma linguagem de programação lógica criada por Rob Simmons e Chris Martens, representa a primeira implementação da programação lógica de escolha finita. Combinando elementos de Datalog e Programação de Conjunto de Respostas, a Dusa também funciona como uma linguagem de exploração de grafos. Acessível por meio de um editor da web, utilitário de linha de comando e API JavaScript (npm), a Dusa oferece uma transição suave para usuários familiarizados com Datalog ou ASP, ao mesmo tempo em que fornece um ponto de entrada acessível para novos usuários por meio de seus recursos de exploração de grafos.

Leia mais