Programy według bddbddb.sf.net

BDD-Based Deductive Database, implementacja Datalog, który używa binarnych diagramów decyzyjnych jako podstawowej struktury danych. Dzięki temu do reprezentowania wykładniczo wielkości relacji skutecznie.