Ukanren-rs Alternatives

Similar projects and alternatives to ukanren-rs based on common topics and language

• kanren

  3 147 0.0 Python ukanren-rs VS kanren

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

  

• rust

  2,680 92,627 10.0 Rust ukanren-rs VS rust

  Empowering everyone to build reliable and efficient software.

  

• InfluxDB

  www.influxdata.com

  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.

  

• conlog

  1 3 2.0 Rust ukanren-rs VS conlog

  A simple prolog interpreter written in Rust

• crepe

  4 442 0.0 Rust ukanren-rs VS crepe

  Datalog compiler embedded in Rust as a procedural macro

• oso

  16 3,387 6.7 Rust ukanren-rs VS oso

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

  

• scryer-prolog

  42 1,888 9.7 Rust ukanren-rs VS scryer-prolog

  A modern Prolog implementation written mostly in Rust.