https://github.com/chessai/hsdatalog

BDD-based implementation of Datalog
https://github.com/chessai/hsdatalog

bdd compiler datalog logic-programming relational-algebra relational-databases

Last synced: about 2 months ago
JSON representation

BDD-based implementation of Datalog

• Host: GitHub
• URL: https://github.com/chessai/hsdatalog
• Owner: chessai
• License: other
• Created: 2020-05-20T03:52:01.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-06-14T07:00:45.000Z (almost 5 years ago)
• Last Synced: 2025-03-16T21:05:32.559Z (2 months ago)
• Topics: bdd, compiler, datalog, logic-programming, relational-algebra, relational-databases
• Language: Haskell
• Homepage:
• Size: 166 KB
• Stars: 37
• Watchers: 6
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# hsdatalog

A compiler from Datalog to relational algebra, as well as an interpreter for relational algebra

that uses binary decision diagrams (BDDs).