Descrição
Regras Datalog podem ser compiladas para C++ para análise de programas e processamento lógico de alto desempenho. Desenvolvedores rodam `souffle` para traduzir, compilar e executar programas Datalog. Código gerado e fatos de entrada devem ser tratados como artefatos normais de desenvolvimento.