Programmes par bddbddb.sf.net

Base de données déductive basée sur BDD, une implémentation de Datalog qui utilise les diagrammes de décision binaires comme structure de données sous-jacente. Cela lui permet de représenter efficacement des relations de tail