Prolog Constraints

Open-source Prolog projects categorized as Constraints
Edit details
Topics: Prolog clp Logic virtual-machine Interpreter
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 3 Prolog Constraint Projects

  • elpi

    Embeddable Lambda Prolog Interpreter

  • ciao

    Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

  • 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

  • clpz

    Constraint Logic Programming over Integers

    • Project mention: Logic programming is overrated, at least for logic puzzles (2013) | news.ycombinator.com | 2023-06-01

    As pointed out in the comments in the article, these kinds of logic puzzles are easier to solve using constraint programming than "regular" logic programming.

    For example, see the solution to the Zebra Puzzle here: https://www.metalevel.at/prolog/puzzles which uses CLPZ[^1].

    [^1]: https://github.com/triska/clpz

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

Prolog Constraints related posts

  • Prototyping a Functional Language using Higher-Order Logic Programming

    1 project | /r/ProgrammingLanguages | 2 Dec 2022

  • Markus Triska Interview on Prolog

    1 project | /r/prolog | 31 Oct 2022

  • is it possible to have a reversable operation

    2 projects | /r/rust | 22 Apr 2022

  • Are there any OS projects of any substantial size at all that have been written in λProlog?

    2 projects | /r/prolog | 30 Oct 2021

  • Would a type system be superfluous in Prolog?

    1 project | /r/prolog | 2 Feb 2021
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 8 May 2024
    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. Learn more →

Index

What are some of the best open-source Constraint projects in Prolog? This list will help you:

Project Stars
1 elpi 260
2 ciao 243
3 clpz 172

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