Rust logic-programming

Open-source Rust projects categorized as logic-programming

Top 6 Rust logic-programming Projects

logic-programming
  1. percival

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

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

    Stream logo
  3. crepe

    Datalog compiler embedded in Rust as a procedural macro

  4. ascent

    Logic programming in Rust

    Project mention: Can Logic Programming Be Liberated from Predicates and Backtracking? [pdf] | news.ycombinator.com | 2024-10-13
  5. nemo

    A fast in-memory rule engine (by knowsys)

    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

  6. ukanren-rs

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

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

  • Can Logic Programming Be Liberated from Predicates and Backtracking? [pdf]

    4 projects | news.ycombinator.com | 13 Oct 2024
  • Datalog in 100 lines of JavaScript (2022)

    5 projects | news.ycombinator.com | 22 Jan 2024
  • Learn Datalog Today

    8 projects | news.ycombinator.com | 21 Jan 2024
  • The Power of Prolog

    9 projects | news.ycombinator.com | 6 Jun 2022
  • Oso - batteries-included framework for building authorization in your application.

    1 project | /r/github_trends | 18 May 2022
  • Is Datalog a good language for authorization?

    4 projects | news.ycombinator.com | 19 Feb 2022
  • How do You work with structured data?

    2 projects | /r/prolog | 1 Feb 2022
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 11 Jul 2025
    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 →

Index

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

# Project Stars
1 percival 615
2 crepe 474
3 ascent 472
4 nemo 158
5 ukanren-rs 113
6 conlog 3

Sponsored
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.
getstream.io

Did you know that Rust is
the 5th most popular programming language
based on number of references?