Giters

chessai / hsdatalog

BDD-based implementation of Datalog

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

compilerbddrelational-algebrarelational-databasesdataloglogic-programming

hsdatalog

A compiler from Datalog to relational algebra, as well as an interpreter for relational algebra that uses binary decision diagrams (BDDs).

About

BDD-based implementation of Datalog

compilerbddrelational-algebrarelational-databasesdataloglogic-programming

License:Other

Languages

Language:Haskell 95.0%Language:Nix 4.4%Language:Makefile 0.6%