Atur cara mengikut bddbddb.sf.net

Pangkalan Data Deduktitif Berasaskan BDD, pelaksanaan Datalog yang menggunakan Gambar Rajah Keputusan Perduaan sebagai struktur data asas. Ini membolehkan ia mewakili hubungan bersaiz eksponen dengan cekap.