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