hackage.haskell.org "logic-programming" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "logic-programming" keyword.
opencog-atomspace 0.1.0.8
The OpenCog (hyper-)graph database and graph rewriting system9 versions - Latest release: almost 9 years ago - 5 dependent repositories - 5.94 thousand downloads total - 922 stars on GitHub - 1 maintainer
picosat 0.1.6
Haskell bindings for PicoSAT solver9 versions - Latest release: about 6 years ago - 1 dependent package - 19 dependent repositories - 7 thousand downloads total - 17 stars on GitHub - 1 maintainer
holmes 0.3.2.0
A reference library for constraint-solving with propagators and CDCL.6 versions - Latest release: about 5 years ago - 1 dependent repositories - 1.52 thousand downloads total - 306 stars on GitHub - 1 maintainer
RSolve 2.0.0.0
A general solver for equations3 versions - Latest release: over 6 years ago - 1 dependent repositories - 1.76 thousand downloads total - 19 stars on GitHub - 1 maintainer
Top 5.1% on hackage.haskell.org
23 versions - Latest release: over 14 years ago - 16 dependent packages - 223 dependent repositories - 71.9 thousand downloads total - 85 stars on GitHub - 2 maintainers
logict 0.5.0
Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kis...23 versions - Latest release: over 14 years ago - 16 dependent packages - 223 dependent repositories - 71.9 thousand downloads total - 85 stars on GitHub - 2 maintainers
clingo 0.2.0.0
Haskell bindings to the clingo C API1 version - Latest release: over 8 years ago - 1 dependent repositories - 1.08 thousand downloads total - 10 stars on GitHub - 1 maintainer
unique-logic 0.4.0.1
4 versions - Latest release: about 3 years ago - 6 dependent repositories - 3.1 thousand downloads total - 1 maintainersouffle-haskell 4.0.0 💰
Souffle Datalog bindings for Haskell.19 versions - Latest release: about 2 years ago - 1 dependent package - 4 dependent repositories - 3.87 thousand downloads total - 105 stars on GitHub - 1 maintainer
souffle-dsl 0.1.0 💰
Haskell EDSL for Souffle.1 version - Latest release: almost 5 years ago - 1 dependent repositories - 233 downloads total - 6 stars on GitHub - 1 maintainer
unique-logic-tf 0.5.1
10 versions - Latest release: about 7 years ago - 1 dependent package - 7 dependent repositories - 6.33 thousand downloads total - 1 maintainer
Related Keywords
library
10
Propose Tags
10
mit
6
bsd3
3
backtracking
2
haskell
2
logic
2
constraint-solver
1
propagation
1
program
1
unification
1
solvers
1
control
1
logict
1
monad-transformers
1
asp
1
ffi
1
symbolic-computation
1
bindings
1
foreign-binding
1
datalog
1
souffle-datalog-language
1
dsl
1
artificial-intelligence
1
atomspace
1
graph-database
1
graph-rewriting
1
knowledge-base
1
knowledge-graph
1
knowledge-representation
1
query-engine
1
query-language
1
relational-algebra
1
relational-database
1
rewrite-system
1
rewriting
1
haskell-library
1
picosat
1
picosat-solver
1
sat-solver
1
data
1