ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language. (by ekzhang)
Review microkanren minikanren Rust logic-programming Functional programming Language Prolog
Source Code
docs.rs
ukanren-rs Reviews
Suggest alternative
Edit details
InfluxDB – Built for High-Performance Time Series Workloads
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.
www.influxdata.com
featured

Ukanren-rs Alternatives

Similar projects and alternatives to ukanren-rs

ekzhang
ukanren-rs

  1. kanren

    4 ukanren-rs VS kanren

    An extensible, lightweight relational/logic programming DSL written in pure Python

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. 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.

    InfluxDB logo

  3. crepe

    4 ukanren-rs VS crepe

    Datalog compiler embedded in Rust as a procedural macro

  4. conlog

    1 ukanren-rs VS conlog

    A simple prolog interpreter written in Rust

  5. prolog-rs

    2 ukanren-rs VS prolog-rs

    Minimal Prolog implemented in Rust

  6. scryer-prolog

    64 ukanren-rs VS scryer-prolog

    A modern Prolog implementation written mostly in Rust.

  7. rust

    2,856 ukanren-rs VS rust

    Empowering everyone to build reliable and efficient software.

  8. oso

    16 ukanren-rs VS oso

    Deprecated: See README

  9. 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
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better ukanren-rs alternative or higher similarity.
Suggest an alternative to ukanren-rs

ukanren-rs discussion

Log in or Post with

ukanren-rs reviews and mentions

Posts with mentions or reviews of ukanren-rs. We have used some of these posts to build our list of alternatives and similar projects.

Stats

Basic ukanren-rs repo stats
4
113
0.0
over 2 years ago

ekzhang/ukanren-rs is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of ukanren-rs is Rust.

Popular Comparisons

  1. ukanren-rs VS kanren
  2. ukanren-rs VS crepe
  3. ukanren-rs VS conlog
  4. ukanren-rs VS prolog-rs
  5. ukanren-rs VS scryer-prolog
  6. ukanren-rs VS rust
  7. ukanren-rs VS oso

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
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.
www.influxdata.com
Loading...