logtalk3
bacon-logtalk
Our great sponsors
logtalk3 | bacon-logtalk | |
---|---|---|
57 | 2 | |
395 | 6 | |
3.3% | - | |
9.8 | 0.0 | |
2 days ago | over 2 years ago | |
Prolog | Logtalk | |
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.
bacon-logtalk
- Logtalk 3.50.0 released
-
Logtalk 3.44.0 released
Portability is indeed a Logtalk core goal. Note that the Logtalk distribution includes ~200 programming examples. For a fun third-party Logtalk project, see e.g: https://github.com/lindseyspratt/bacon-logtalk
What are some alternatives?
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
data-logic - Expert system with deductive querying and verification of constraints expressed in natural language