Packages tagged logic-programming

5 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (5), mit (3), bsd3 (2), asp (1), bindings (1), dsl (1), ffi (1), foreign-binding (1), symbolic-computation (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
clingo20.01Haskell bindings to the Clingo ASP solver (asp, ffi, library, logic-programming, mit, symbolic-computation)2017-08-180.2.0.0tsahyt
souffle-dsl30.00Haskell EDSL for Souffle (dsl, library, logic-programming, mit)2021-04-110.1.0luc_tielen
souffle-haskell570.01Souffle Datalog bindings for Haskell (bindings, foreign-binding, library, logic-programming, mit)2024-01-034.0.0luc_tielen
unique-logic200.01Solve simple simultaneous equations (bsd3, library, logic-programming)2023-01-140.4.0.1HenningThielemann
unique-logic-tf220.01Solve simple simultaneous equations (bsd3, library, logic-programming)2019-01-220.5.1HenningThielemann