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)

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
clingo	1	0.0	1	Haskell bindings to the Clingo ASP solver	(asp, ffi, library, logic-programming, mit, symbolic-computation)	2017-08-18	0.2.0.0	tsahyt
souffle-dsl	1	0.0	0	Haskell EDSL for Souffle	(dsl, library, logic-programming, mit)	2021-04-11	0.1.0	luc_tielen
souffle-haskell	21	0.0	1	Souffle Datalog bindings for Haskell	(bindings, foreign-binding, library, logic-programming, mit)	2024-01-03	4.0.0	luc_tielen
unique-logic	5	0.0	1	Solve simple simultaneous equations	(bsd3, library, logic-programming)	2023-01-14	0.4.0.1	HenningThielemann
unique-logic-tf	5	0.0	1	Solve simple simultaneous equations	(bsd3, library, logic-programming)	2019-01-22	0.5.1	HenningThielemann

Showing 1 to 5 of 5 entries