datalog

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.