logtalk3
prolog-checkers
Our great sponsors
logtalk3 | prolog-checkers | |
---|---|---|
57 | 1 | |
393 | 10 | |
2.8% | - | |
9.8 | 1.8 | |
5 days ago | about 3 years ago | |
Prolog | Prolog | |
Apache License 2.0 | MIT 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.
prolog-checkers
-
Prolog Chess AI, Alpha Beta Pruning
For my AI, I am mainly looking at the book "Prolog programming for artificial intelligence" by Ivan Bratko(3rd Edition). There he shows an implementation of the alpha-beta algorithm. I am also looking at the Prolog-Code someone posted on Github, where he implemented the same Code fpr his Checkersgame. (https://github.com/migafgarcia/prolog-checkers/blob/master/checkers.pl)
What are some alternatives?
php - Prolog Home Page
clpz - Constraint Logic Programming over Integers
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
SSI - A Prolog Compiler written in Prolog.
the-power-of-prolog - Introduction to modern Prolog
sparqlprog - logic programming with SPARQL
logtalk-jupyter-kernel - A Jupyter kernel for Logtalk
Sanmill - Sanmill is an open-source, UCI-like Mill/Morris/Merrills/Mühle/Malom (and its variants) program with CUI, Flutter GUI and Qt GUI, sharing and freely distributing the code, tools and data needed to deliver this mill game. We do this because we are convinced that open software and open data are key ingredients to make rapid progress.
RTEC - RTEC is an Event Calculus implementation optimised for stream reasoning
nbsdgames - A package of 18 text-based modern games
scryer-prolog - A modern Prolog implementation written mostly in Rust.
terminusdb - TerminusDB is a distributed database with a collaboration model