clingo (hackage): Haskell bindings to the clingo C API
Keywords: asp|ffi|library|logic-programming|mit|symbolic-computation