RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning (by aartikis)
data-logic
Expert system with deductive querying and verification of constraints expressed in natural language (by arcadio)
| RTEC | data-logic | |
|---|---|---|
| 1 | 1 | |
| 79 | 16 | |
| - | - | |
| 7.4 | 10.0 | |
| 18 days ago | over 1 year 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.
RTEC
Posts with mentions or reviews of RTEC.
We have used some of these posts to build our list of alternatives
and similar projects.
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.
What are some alternatives?
When comparing RTEC and data-logic you can also consider the following projects:
Siddhi - Stream Processing and Complex Event Processing Engine
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Philosophy - List of Philosophy Algorithms
tar.pl - tar creator+extractor in ~100 lines of prolog
logtalk3 - Logtalk - declarative object-oriented logic programming language
sparqlprog - logic programming with SPARQL
kaskada - Modern, open-source event-processing
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.