⚠️ Warning: This is a draft ⚠️

This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.

If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.

{{implementation|Datalog}} [http://bddbddb.sourceforge.net/ bddbddb] stands for BDD-Based Deductive DataBase. It is an implementation of Datalog.