Top 6 Rust logic-programming Projects

oso

16 3,387 6.7 Rust

Oso is a batteries-included framework for building authorization in your application.

Project mention: Who's hiring developer advocates? (October 2023) | dev.to | 2023-10-02

Link to GitHub -->

percival

12 571 0.0 Rust

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

Project mention: Learn Datalog Today | news.ycombinator.com | 2024-01-21

Souffle and Cozo mentioned below already implement the whole of "traditional" datalog.
Percival (https://github.com/ekzhang/percival) has some very nice examples showing how you can interactively write and test rules on top of a datalog interpreter.
Bud (http://bloom-lang.net/bud/) is Hellerstein's proof of concept playground. It has bit-rotted in the past few years, but the examples are readable even if you can't easily get it working.
The complexity can be quite good. You can syntactically determine when you've written linear recursion (equivalent to a for loop) vs not. Otherwise, the complexity is what you'd expect from incremental view maintenance in a normal SQL database. Which is to say O(n^k) with k being the number of relations joined, but usually much, much less with appropriate indexes and skew in the data. All the usual tricks concerning data normalization and indexes from databases apply.

InfluxDB

www.influxdata.com sponsored

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.
crepe

4 442 0.0 Rust

Datalog compiler embedded in Rust as a procedural macro

Project mention: Datalog in 100 lines of JavaScript (2022) | news.ycombinator.com | 2024-01-22

ascent

4 367 6.3 Rust

logic programming in Rust

Project mention: Datalog in 100 lines of JavaScript (2022) | news.ycombinator.com | 2024-01-22

ukanren-rs

4 106 0.0 Rust

Rust implementation of µKanren, a featherweight relational programming language.
conlog

1 3 2.0 Rust

A simple prolog interpreter written in Rust

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). The latest post mention was on 2024-01-22.