Programas por bddbddb.sf.net

Base de Dados Dedutivo Baseado em BDD, uma implementação do Datalog que utiliza diagramas de decisão binária como estrutura de dados subjacente. Isto permite-lhe representar relações de tamanho exponencial de forma eficiente.