logtalk3
metagol
Our great sponsors
logtalk3 | metagol | |
---|---|---|
57 | 2 | |
395 | 175 | |
3.3% | - | |
9.8 | 1.5 | |
2 days ago | over 2 years ago | |
Prolog | Prolog | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
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.
logtalk3
- 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.
metagol
-
Tutorial-Like Material for ILP
In addition to what u/Logtalking answered you can also start out from the original Metagol implementation that Cropper and Muggleton provided, available here on github.
What are some alternatives?
prolog-checkers - A Player vs AI game of checkers implemented in Prolog
suggest.el - discover elisp functions that do what you want
php - Prolog Home Page
Popper - An inductive logic programming system
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
PythonProgrammingPuzzles - A Dataset of Python Challenges for AI Research
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