souffle-haskell (hackage): Souffle Datalog bindings for Haskell.
Keywords: bindings|foreign-binding|library|logic-programming|mit|datalog|haskell|souffle-datalog-language