द्वारा कार्यक्रम bddbddb.sf.net
-
bddbddb: BDD-Based Deductive Database मुफ्त
बीडीडी-आधारित कटौतीशील डेटाबेस, डेटालॉग का कार्यान्वयन जो बाइनरी निर्णय आरेखों को अंतर्निहित डेटा संरचना के रूप में उपयोग करता है। यह तेजी से आकार के संबंधों को कुशलता से प्रतिनिधित्व करने की अनुमति देता है ।