Programas por bddbddb.sf.net
-
bddbddb: BDD-Based Deductive Database Grátis
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.