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.
30 Day SummaryJun 12 2019 — Jul 12 2019
|
12 Month SummaryJul 12 2018 — Jul 12 2019
|