Packages tagged logic-programming

4 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (4), bsd3 (2), mit (2), asp (1), bindings (1), ffi (1), foreign-binding (1), program (1), symbolic-computation (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
clingo150.0Haskell bindings to the Clingo ASP solver (asp, ffi, library, logic-programming, mit, symbolic-computation)2017-08-18tsahyt
souffle-haskell100.0Souffle Datalog bindings for Haskell (bindings, foreign-binding, library, logic-programming, mit, program)2020-09-05luc_tielen
unique-logic70.0Solve simple simultaneous equations (bsd3, library, logic-programming)2018-02-17HenningThielemann
unique-logic-tf160.0Solve simple simultaneous equations (bsd3, library, logic-programming)2019-01-22HenningThielemann