Selected Tags

Click on a tag to remove it

Logic Programming packages

Showing projects tagged as Logic Programming

  • souffle-haskell

    9.1 4.5 C++
    Haskell bindings for the Souffle datalog language

  • clingo

    5.9 0.0 Haskell
    Haskell bindings to the clingo C API