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

Bddbddb is an implementation of Datalog. Other implementations of Datalog.