Haskell logic-programming

Open-source Haskell projects categorized as logic-programming

Top 4 Haskell logic-programming Projects

logic-programming
  1. streamly

    High performance, concurrent functional programming abstractions

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. holmes

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

  4. eclair-lang

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

  5. Montague

    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).

Haskell logic-programming discussion

Log in or Post with

Haskell logic-programming related posts

  • If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?

    5 projects | /r/math | 11 Jul 2023
  • An experimental and minimal Datalog implementation that compiles down to LLVM

    1 project | news.ycombinator.com | 23 Nov 2022
  • How would I go about implementing search over a lazy tree in Rust?

    1 project | /r/rust | 14 Aug 2022
  • Question: Type system for Lojban structure and semantics

    1 project | /r/lojban | 24 Jul 2022
  • Any semantic note taking apps out there?

    2 projects | /r/semanticweb | 26 Jun 2022
  • A note from our sponsor - SaaSHub
    www.saashub.com | 30 Apr 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source logic-programming projects in Haskell? This list will help you:

# Project Stars
1 streamly 889
2 holmes 306
3 eclair-lang 222
4 Montague 17

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Haskell is
the 25th most popular programming language
based on number of references?