Rust logic-programming

Open-source Rust projects categorized as logic-programming

Top 6 Rust logic-programming Projects

logic-programming
  • oso

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

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

    InfluxDB logo
  • percival

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

  • crepe

    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

    logic programming in Rust

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

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

  • conlog

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

Rust logic-programming discussion

Log in or Post with

Rust logic-programming related posts

Index

What are some of the best open-source logic-programming projects in Rust? This list will help you:

Project Stars
1 oso 3,424
2 percival 589
3 crepe 444
4 ascent 373
5 ukanren-rs 106
6 conlog 3

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.
www.influxdata.com