logtalk3
prolog-checkers
Our great sponsors
logtalk3 | prolog-checkers | |
---|---|---|
57 | 1 | |
389 | 10 | |
2.8% | - | |
9.8 | 1.8 | |
6 days ago | almost 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 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
- Logtalk 3.62.0 released
- Logtalk 3.61.0 released
-
Aspects of Production/Professional Prolog
From a software engineering perspective, you may want to look into Logtalk. It answers several of your questions. For example, you ask "What tools make a larger codebase navigable and easier to work with?" Part of the answer is to use (automatically generated) diagrams that allow looking at the code from multiple abstraction levels, allowing navigating to both source code and its documentation. For example:
- Logtalk 3.60.0 released
prolog-checkers
We haven't tracked posts mentioning prolog-checkers yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
clpz - Constraint Logic Programming over Integers
SSI - A Prolog Compiler written in Prolog.
sparqlprog - logic programming with SPARQL
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.
nbsdgames - A package of 18 text-based modern games
terminusdb - TerminusDB is a distributed database with a collaboration model
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
RTEC - RTEC is an Event Calculus implementation optimised for stream reasoning
scryer-prolog - A modern Prolog implementation written mostly in Rust.