void-pi
Void Linux installer implemented in GNU Prolog. (by sdbtools)
logtalk3
Logtalk - declarative object-oriented logic programming language (by LogtalkDotOrg)
void-pi | logtalk3 | |
---|---|---|
2 | 57 | |
11 | 399 | |
- | 2.0% | |
7.5 | 9.9 | |
about 1 month ago | 6 days ago | |
Prolog | Prolog | |
GNU General Public License v3.0 only | Apache License 2.0 |
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.
logtalk3
Posts with mentions or reviews of logtalk3.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-08-22.
- Logtalk portable solution for the Advent of Code 2023 Day 8 problem
- Logtalk 3.69.0 released
- Logtalk 3.67.0 released
- Logtalk 3.66.0 released
- Logtalk 3.65.0 released
- Logtalk 3.64.0 released
- Logtalk 3.63.0 released
- Run and create Logtalk and Prolog Jupyter notebooks online
- Logtalk 3.62.0 released
-
3 jug of water problem using BFS
See https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/searching for an extensible state-space searching framework supporting multiple search methods.
What are some alternatives?
When comparing void-pi and logtalk3 you can also consider the following projects:
clpz - Constraint Logic Programming over Integers
prolog-checkers - A Player vs AI game of checkers implemented in Prolog
php - Prolog Home Page
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
the-power-of-prolog - Introduction to modern Prolog
logtalk-jupyter-kernel - A Jupyter kernel for Logtalk
scryer-prolog - A modern Prolog implementation written mostly in Rust.
RTEC - RTEC is an Event Calculus implementation optimised for stream reasoning
Prolog-to-List-Prolog - Converts Prolog algorithms to List Prolog algorithms
terminusdb - TerminusDB is a distributed database with a collaboration model
FStar - A Proof-oriented Programming Language
metagol - Metagol - an inductive logic programming system