Program menurut bddbddb.sf.net

Database Deduktif Berbasis BDD, implementasi Datalog yang menggunakan Diagram Keputusan Biner sebagai struktur data yang mendasarinya. Ini memungkinkannya untuk mewakili hubungan berukuran eksponensial secara efisien.