An implementation of datalog in Haskell

Latest on Hackage:

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

BSD3 licensed by Tristan Ravitch
Maintained by

This is an implementation of datalog in pure Haskell. It is implemented as a library and can be used from within any Haskell application. As a consequence, it supports both standard Datalog operations and arbitrary predicates written in Haskell.



  • Include the changelog in the tarball


  • Fix a bug in relation stratification


  • New REPL
  • Fixed some correctness bugs
comments powered byDisqus