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