data-logic
tar.pl
data-logic | tar.pl | |
---|---|---|
1 | 4 | |
16 | 255 | |
- | - | |
10.0 | 10.0 | |
over 1 year ago | over 1 year ago | |
Prolog | Prolog | |
- | - |
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.
tar.pl
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-to-List-Prolog - Converts Prolog algorithms to List Prolog algorithms
sparqlprog - logic programming with SPARQL
bencode - Bencoding for Prolog
logtalk3 - Logtalk - declarative object-oriented logic programming language
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
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
Philosophy - List of Philosophy Algorithms
constrained.pl - Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.