Programmi di bddbddb.sf.net

Database deduttivo basato su BDD, un'implementazione di Datalog che utilizza diagrammi decisionali binari come struttura dati sottostante. Ciò gli consente di rappresentare relazioni di dimensioni esponenziali in modo efficie