bddbddb stands for BDD-Based Deductive DataBase. It is an implementation of Datalog.