Programma's van bddbddb.sf.net
-
bddbddb: BDD-Based Deductive Database Gratis
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