Programas por bddbddb.sf.net

Base de datos deductiva basada en BDD, una implementación de Datalog que utiliza diagramas de decisión binarios como estructura de datos subyacente. Esto le permite representar relaciones de tamaño exponencial de manera efici