Motor Datalog em miniKanren e WebAssembly

Este artigo descreve um motor Datalog construído usando Scheme e a biblioteca miniKanren, rodando no navegador via WebAssembly. O motor implementa recursos essenciais do Datalog: asserção de fatos, definição de regras e iteração de ponto fixo. O autor explica detalhadamente os detalhes de implementação de estruturas de dados, mecanismos de indexação e aplicação de regras, fornecendo um exemplo de travessia de grafo. Este projeto demonstra o potencial de técnicas de programação funcional e lógica para construir sistemas de banco de dados eficientes, aproveitando o WebAssembly para execução multiplataforma.