Haskell logic-programming

Open-source Haskell projects categorized as logic-programming
Edit details
Topics: Haskell Concurrency Filesystem FRP Data
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 4 Haskell logic-programming Projects

  • streamly

    High performance, concurrent functional programming abstractions

  • holmes

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

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • eclair-lang

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

  • 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 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 | 1 Jun 2024
    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 851
2 holmes 298
3 eclair-lang 193
4 Montague 13

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com