logtalk3
logtalk-jupyter-kernel
Our great sponsors
logtalk3 | logtalk-jupyter-kernel | |
---|---|---|
57 | 2 | |
394 | 7 | |
3.0% | - | |
9.8 | 7.3 | |
6 days ago | 8 days 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.
logtalk-jupyter-kernel
- Jupyter kernel for Logtalk
-
Logtalk 3.61.0 released
This release provides updated for several Prolog backend adapters and integration scripts for use in the Jupyter kernel for Logtalk; adds a new ids library for generating identifiers (Base64 encoded) with parametrizable text representation and number of bytes of randomness; adds new pairs library object predicates; adds packs tool support for using git archive for installing packs, providing a better user experience when the packs registry server uses Single Sign-On (SSO) for authentication; and includes additional tests for library predicates and standard arithmetic functions.
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
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