Chương trình theo bddbddb.sf.net

BDD dựa trên suy luận cơ sở dữ liệu, một thực hiện datalog sử dụng sơ đồ quyết định nhị phân như là cấu trúc dữ liệu cơ bản. Điều này cho phép nó đại diện cho các mối quan hệ có kích thước theo cấp số nhân một cách hiệu quả.