Programma's van bddbddb.sf.net

BDD-gebaseerde deductieve database, een implementatie van Datalog die binaire beslissingsdiagrammen gebruikt als de onderliggende gegevensstructuur. Dit maakt het mogelijk om exponentieel formaat relaties efficiënt te vertege