Top 4 Haskell logic-programming Projects

streamly

4 835 8.6 Haskell

High performance, concurrent functional programming abstractions

Project mention: [ANN] Haskell Streamly 0.9.0 Release! | /r/haskell | 2023-05-25

https://github.com/composewell/streamly/issues/1307 seems related, but it was a long time ago. We weren't heavy users anyway, so our streaming philosophy is now "conduit if it's simple and plugging into a conduit-using library, streaming if you're doing complicated things".
holmes

0 292 0.0 Haskell

A reference library for constraint-solving with propagators and CDCL.
Onboard AI

getonboard.dev
sponsored

Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
eclair-lang

1 179 10.0 Haskell

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Project mention: Should I abandon using haskell for my compiler? | /r/haskell | 2023-04-20

/u/ltielen's Éclair language targets LLVM and is actively maintained, so I'd look at that implementation's LLVM setup.
Montague

0 12 0.0 Haskell

A library for non-deterministically parsing natural language expressions into a structured form.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-05-25.