SaaSHub helps you find the best software and product alternatives Learn more →
Top 4 C++ logic-programming Projects
-
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
There's Souffle[1] that can synthesize C++ for you that you then compile with the rest of your C++.
[1]: https://souffle-lang.github.io/
One of the easiest to get started on Datalog in my opinion is really clingo https://potassco.org/clingo/ , which can be pip installed and has python bindings. Answer Set Programming goes beyond datalog, but it holds datalog semantics as a sublanguage. It is unfortunate this is not well advertised.
```
C++ logic-programming related posts
-
Not all Graphs are Trees
-
A Logic Language for Distributed SQL Queries
-
Systematic, Ontological, Undiscovered Fact Finding Logic Engine
-
Systematic, Ontological, Undiscovered Fact Finding Logic Engine
-
Soufflé • a Datalog Synthesis Tool for Static Analysis
-
A note from our sponsor - SaaSHub
www.saashub.com | 18 May 2024
Index
What are some of the best open-source logic-programming projects in C++? This list will help you:
Project | Stars | |
---|---|---|
1 | souffle | 868 |
2 | atomspace | 782 |
3 | clingo | 586 |
4 | cosmos | 176 |
Sponsored