BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
Project Admins:
joewhaley
Operating System:
All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), OS Independent (Written in an interpreted language), Linux
License:
GNU Library or Lesser General Public License (LGPL)
Category:
Scientific/Engineering, Compilers
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.