Selected Tags

Click on a tag to remove it

Logic Programming packages

Showing projects tagged as Logic Programming

  • souffle-haskell

    8.9 7.7 C++
    Haskell bindings for the Souffle datalog language
  • clingo

    5.4 0.0 Haskell
    Haskell bindings to the clingo C API