simply-logical
logtalk3
simply-logical | logtalk3 | |
---|---|---|
1 | 57 | |
108 | 398 | |
4.6% | 1.8% | |
3.9 | 9.8 | |
6 months ago | 4 days ago | |
Prolog | Prolog | |
GNU General Public License v3.0 or later | Apache License 2.0 |
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
-
Differences Between miniKanren and Prolog
https://github.com/simply-logical/simply-logical
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.
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