@hackage datalog0.1.0.0

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.

One day it will have a command-line program as well.