void-pi
Void Linux installer implemented in GNU Prolog. (by sdbtools)
RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning (by aartikis)
void-pi | RTEC | |
---|---|---|
2 | 1 | |
11 | 79 | |
- | - | |
7.5 | 7.4 | |
28 days ago | 23 days ago | |
Prolog | Prolog | |
GNU General Public License v3.0 only | 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.
void-pi
Posts with mentions or reviews of void-pi.
We have used some of these posts to build our list of alternatives
and similar projects.
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 void-pi and RTEC you can also consider the following projects:
clpz - Constraint Logic Programming over Integers
Siddhi - Stream Processing and Complex Event Processing Engine
Philosophy - List of Philosophy Algorithms
logtalk3 - Logtalk - declarative object-oriented logic programming language
kaskada - Modern, open-source event-processing
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
data-logic - Expert system with deductive querying and verification of constraints expressed in natural language
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.