BDDBDDB – implementacja Datalogu rozwijana na Stanford University używana do tworzenia zapytań dotyczących kodu bajtowego JavyStrona główna projektu BDDBDDB ConceptBase – obiektowo – dedukcyjna baza danych używająca Datalogu jako języka zapytań. W zamierzeniach platforma do tworzenia modeli koncepcyjnychStrona główna bazy ConceptBase IRIS – silnik systemu automatycznego dowodzenia na licencji Open-source wyposażony w mechanizm kontroli typów. Język zapytań jest wersją Datalogu rozszerzoną m.in. o symbole funkcyjne, wbudowane predykaty oraz możliwość obejścia „warunku bezpieczeństwa” DES – implementacja języka Datalog w Prologu na licencji Open-sourceDatalog Educational System pyDatalog – implementacja Datalogu w Pythonie
Przypisy
Bibliografia
Kategoria:Języki zapytań