InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
Top 6 Rust logic-programming Projects
-
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
-
-
Project mention: Can Logic Programming Be Liberated from Predicates and Backtracking? [pdf] | news.ycombinator.com | 2024-10-13
-
Project mention: Can Logic Programming Be Liberated from Predicates and Backtracking? [pdf] | news.ycombinator.com | 2024-10-13
- The state-of-the-art non-embedded and non-incremental Datalog engine https://github.com/knowsys/nemo
-
-
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Rust logic-programming discussion
Rust logic-programming related posts
-
Can Logic Programming Be Liberated from Predicates and Backtracking? [pdf]
-
Datalog in 100 lines of JavaScript (2022)
-
Learn Datalog Today
-
The Power of Prolog
-
Oso - batteries-included framework for building authorization in your application.
-
Is Datalog a good language for authorization?
-
How do You work with structured data?
-
A note from our sponsor - InfluxDB
www.influxdata.com | 11 Jul 2025