souffle-dsl (hackage): Haskell EDSL for Souffle.
Keywords: dsl|library|logic-programming|mit