Programas por bddbddb.sf.net

Banco de dados dedutivo baseado em BDD, uma implementação do Datalog que usa diagramas de decisão binários como a estrutura de dados subjacente. Isso permite que ele represente relações de tamanho exponencial de forma eficien