bddbddb - bddbddb: BDD-Based Deductive DataBaseLast published: September 16, 2008 5:43:56 AM PDT |Doc for 1.0 bddbddb stands for BDD-Based Deductive DataBase. It is an implementation of Datalog, a declarative programming language similar to Prolog for talking about relations. What makes bddbddb unique is that it represents the relations using binary decision diagrams (BDDs). BDDs are a data structure that can efficiently represent large relati
