simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook (by simply-logical)
tar.pl
tar creator+extractor in ~100 lines of prolog (by SuperDisk)
simply-logical | tar.pl | |
---|---|---|
1 | 4 | |
108 | 255 | |
4.6% | - | |
3.9 | 10.0 | |
6 months ago | over 1 year ago | |
Prolog | Prolog | |
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.
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
tar.pl
Posts with mentions or reviews of tar.pl.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-18.
What are some alternatives?
When comparing simply-logical and tar.pl you can also consider the following projects:
Prolog-to-List-Prolog - Converts Prolog algorithms to List Prolog algorithms
data-logic - Expert system with deductive querying and verification of constraints expressed in natural language
bencode - Bencoding for Prolog
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
the-power-of-prolog - Introduction to modern Prolog
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
Philosophy - List of Philosophy Algorithms
constrained.pl - Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.