Rust Prolog

Open-source Rust projects categorized as Prolog

Top 4 Rust Prolog Projects

  • scryer-prolog

    A modern Prolog implementation written mostly in Rust.

    Project mention: Ask HN: What's Prolog Like in 2024? | news.ycombinator.com | 2024-07-18

    The key performance advantage of Scryer Prolog is its space efficiency for representing lists of characters, yielding a 24 times (!) more compact representation than other Prolog systems.

    With Scryer Prolog and other recent systems that implement this representation, such as Trealla Prolog, you can easily process many GBs of text with DCGs, arguably realizing the full potential of the originally intended use case of Prolog for the first time.

    The linked benchmarks do not test this aspect at all.

    And yes, the strong ISO conformance of Scryer Prolog is also a major attraction especially when using it in highly regulated areas. A recent envisaged application of Scryer Prolog for machine protection systems (MPS) of giant particle accelerators, where adherence to industry standards is of great importance for warranty reasons:

    https://github.com/mthom/scryer-prolog/discussions/2441

  • 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
  • ukanren-rs

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

  • egglog0

    Datalog + Egg = Good

  • 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 Prolog discussion

Log in or Post with

Rust Prolog related posts

Index

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

Project Stars
1 scryer-prolog 1,962
2 ukanren-rs 107
3 egglog0 65
4 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

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