data-logic
logtalk3
data-logic | logtalk3 | |
---|---|---|
1 | 57 | |
16 | 395 | |
- | 1.0% | |
10.0 | 9.8 | |
over 1 year ago | 4 days ago | |
Prolog | Prolog | |
- | 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.
data-logic
-
Metaprogramming in Prolog
I'm trying to move beyond beginner stage in Prolog. I started skimming through The Art of Prolog and found some code in GitHub doing term rewriting.
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?
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
prolog-checkers - A Player vs AI game of checkers implemented in Prolog
tar.pl - tar creator+extractor in ~100 lines of prolog
php - Prolog Home Page
sparqlprog - logic programming with SPARQL
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
war-crimes-explorer - Interactive in-browser learning about genocide, war crimes, crimes against humanity, and aggression.
the-power-of-prolog - Introduction to modern Prolog
RTEC - RTEC is an Event Calculus implementation optimised for stream reasoning
logtalk-jupyter-kernel - A Jupyter kernel for Logtalk
scryer-prolog - A modern Prolog implementation written mostly in Rust.