void-pi
Void Linux installer implemented in GNU Prolog. (by sdbtools)
simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook (by simply-logical)
void-pi | simply-logical | |
---|---|---|
2 | 1 | |
12 | 110 | |
- | 2.7% | |
7.2 | 3.9 | |
4 days ago | 7 months ago | |
Prolog | Prolog | |
GNU General Public License v3.0 only | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
void-pi
Posts with mentions or reviews of void-pi.
We have used some of these posts to build our list of alternatives
and similar projects.
simply-logical
Posts with mentions or reviews of simply-logical.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Differences Between miniKanren and Prolog
https://github.com/simply-logical/simply-logical
What are some alternatives?
When comparing void-pi and simply-logical you can also consider the following projects:
clpz - Constraint Logic Programming over Integers