SaaSHub helps you find the best software and product alternatives Learn more →
Top 23 Prolog Open-Source Projects
-
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.
-
logica
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
-
-
-
problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
-
ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog! some exciting plans in the pipe
Project mention: Prolog language for PostgreSQL proof of concept | news.ycombinator.com | 2024-03-30If you're interested in this I would also recommend you check out Logica[0], which is a datalog-like language that is explicitly made to compile to SQL queries.
0: https://logica.dev/
Project mention: If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications? | /r/math | 2023-07-11Still, there are many useful tools based on these ideas, used by programmers and mathematicians alike. What you describe sounds rather like Datalog (e.g. Soufflé Datalog), where you supply some rules and an initial fact, and the system repeatedly expands out the set of facts until nothing new can be derived. (This has to be finite, if you want to get anywhere.) In Prolog (e.g. SWI Prolog) you also supply a set of rules and facts, but instead of a fact as your starting point, you give a query containing some unknown variables, and the system tries to find an assignment of the variables that proves the query. And finally there is a rich array of theorem provers and proof assistants such as Agda, Coq, Lean, and Twelf, which can all be used to help check your reasoning or explore new ideas.
Project mention: Find Legal Moves in Brass Birmingham with Datalog | news.ycombinator.com | 2023-11-21
Project mention: Logtalk portable solution for the Advent of Code 2023 Day 8 problem | /r/prolog | 2023-12-09
There are open source ports that have a clear license now: https://github.com/Shen-Language/shen-sources/blob/master/LI...
That said, even if I don't use this a lot, I pay for Shen Professional to support development. Like you, I got and read the book and like the ideas, and I decided to support the project because I rather be sold something explicit (a programming language) than who knows what I get sold through a language that is open source but depends on a few or even one big company to pay the devs.
Project mention: Logic programming is overrated, at least for logic puzzles (2013) | news.ycombinator.com | 2023-06-01As 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
https://github.com/simply-logical/simply-logical
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 related posts
-
The Shen Programming Language
-
Lucian CI/CD VS gitl - a user suggested alternative
2 projects | 27 Feb 2024 -
Appreciating Clpz_t/2
-
The Power of Prolog
-
Logtalk portable solution for the Advent of Code 2023 Day 8 problem
-
Void Linux installer implemented in GNU Prolog.
-
Advent of Code 2023 is nigh
-
A note from our sponsor - SaaSHub
www.saashub.com | 3 May 2024
Index
What are some of the best open-source Prolog projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | klipse | 3,088 |
| 2 | scryer-prolog | 1,895 |
| 3 | logica | 1,682 |
| 4 | the-power-of-prolog | 1,164 |
| 5 | swipl-devel | 902 |
| 6 | tau-prolog | 556 |
| 7 | prolog | 539 |
| 8 | awesome-prolog | 474 |
| 9 | pyswip | 444 |
| 10 | logtalk3 | 395 |
| 11 | hakank | 353 |
| 12 | shen-sources | 344 |
| 13 | problog | 296 |
| 14 | tar.pl | 255 |
| 15 | ciao | 243 |
| 16 | praxis-ide | 227 |
| 17 | cosmos | 177 |
| 18 | clpz | 172 |
| 19 | Julog.jl | 168 |
| 20 | simply-logical | 107 |
| 21 | ukanren-rs | 106 |
| 22 | 2p-kt | 82 |
| 23 | RTEC | 79 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com