PROGRAMS BY bddbddb.sf.net

BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.