Top 6 Rust logic-programming Projects

oso

6 2,791 8.9 Rust

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

Project mention: Show HN: ILLA is an Open-source alternative to Retool | news.ycombinator.com | 2022-11-19

Not OP but Authentication is easy, authorization is a cross-cutting concern that often requires custom code. E.g., there are people and teams, both of which can have different kinds of access to something (read/write). Sometimes teams have sub-teams. Do the sub-teams have access to the parent teams' resources and/or vice versa? Also what kind of sharing are you going to support? Do people have to have an account to view stuff shared to them or can you just send a link? There are some efforts to make custom DSLs for describing authorization policies, to avoid cross-cutting code[1].
Computed fields require different treatment at every level of the stack. This isn't inherently hard, but it is an extra feature these low-code/no-code platforms need. Where things get difficult is inn migrations. It's common for a field that is computed at the beginning to become customizable, or for the computation to change. When that happens, what should the value be for old columns? Computed fields also often pull data from multiple other tables, which may require some combination of custom queries and database optimization.
[1] https://github.com/osohq/oso
percival

11 475 5.9 Rust

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

Project mention: Soufflé: A Datalog Synthesis Tool for Static Analysis | news.ycombinator.com | 2022-11-30

I've worked on percival a bit, it compiles (transpiles?) the datalog ast into javascript code on demand and executes it to get the results, see [1]. Percival's creator, Eric, also submitted a 10m presentation about the project [2] to the HYTRADBOI 'virtual conference' earlier this year [2]. They also submitted a Show HN that received a couple comments [3]. The Have You Tried Rubbing A Database On It conference included several awesome presentations featuring datalog, which readers may find interesting [4].
[1]: https://github.com/ekzhang/percival/blob/main/crates/perciva...
[2]: https://www.hytradboi.com/2022/percival-a-reactive-language-...
[3]: https://news.ycombinator.com/item?id=29521975
[4]: https://www.hytradboi.com/
SonarQube

www.sonarqube.org
sponsored

Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
crepe

2 304 4.3 Rust

Datalog compiler embedded in Rust as a procedural macro

Project mention: Ergonomic inline SQL as a Python library | reddit.com/r/ProgrammingLanguages | 2022-10-08

Inspired by past work: LINQ, inline-python, crepe, DataScript, Riffle.
ascent

1 105 10.0 Rust

logic programming in Rust (by s-arash)

Project mention: Datafrog: A lightweight Datalog engine in Rust | news.ycombinator.com | 2022-11-13

I think people should look at Ascent [1]. I love the way it embeds Rust seamlessly. It's like JSX for Datalog/Rust.
[1]: https://github.com/s-arash/ascent
ukanren-rs

0 98 2.2 Rust

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

1 2 0.0 Rust

A simple prolog interpreter written in Rust

Project mention: Ideas for Intermediate or Advanced Rust Projets? | reddit.com/r/rust | 2021-12-27

For some code examples, you could check out https://github.com/transistorfet/conlog/ which is a rather simple prolog interpreter I made. The tree.rs file has the representation of code and values in memory, and parser.rs has the lexer and parser which uses an iterator to consume the input data. It's also possible to parse string data immutably using string slices and a combinators style parser.

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 2022-11-30.