Description
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.
Update Notifications
User Ratings
User Reviews
-
works great.
-
Fast and simple.