data-logic
Expert system with deductive querying and verification of constraints expressed in natural language (by arcadio)
RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning (by aartikis)
data-logic | RTEC | |
---|---|---|
1 | 1 | |
16 | 79 | |
- | - | |
10.0 | 7.4 | |
over 1 year ago | 8 days ago | |
Prolog | Prolog | |
- | GNU Lesser General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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
Posts with mentions or reviews of data-logic.
We have used some of these posts to build our list of alternatives
and similar projects.
-
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.
RTEC
Posts with mentions or reviews of RTEC.
We have used some of these posts to build our list of alternatives
and similar projects.
What are some alternatives?
When comparing data-logic and RTEC you can also consider the following projects:
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Siddhi - Stream Processing and Complex Event Processing Engine
tar.pl - tar creator+extractor in ~100 lines of prolog
Philosophy - List of Philosophy Algorithms
sparqlprog - logic programming with SPARQL
logtalk3 - Logtalk - declarative object-oriented logic programming language
kaskada - Modern, open-source event-processing
war-crimes-explorer - Interactive in-browser learning about genocide, war crimes, crimes against humanity, and aggression.
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog