ukanren-rs vs kanren

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

featured

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

workos.com

featured

ukanren-rs		kanren
	Project
4	Mentions	3
106	Stars	157
-	Growth	6.4%
0.0	Activity	0.0
over 1 year ago	Latest Commit	about 1 year ago
Rust	Language	Python
MIT License	License	GNU General Public License v3.0 or later

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

ukanren-rs

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

Show HN: Rust implementation of µKanren, a featherweight relational language
1 project | news.ycombinator.com | 12 Sep 2021
Rust implementation of µKanren, a featherweight relational programming language
1 project | /r/functionalprogramming | 11 Sep 2021

1 project | /r/rust | 11 Sep 2021

1 project | /r/ProgrammingLanguages | 11 Sep 2021

kanren

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

Kanren: An extensible, lightweight relational/logic programming DSL in Python
1 project | news.ycombinator.com | 3 Feb 2024
When do you use generators?
1 project | /r/Python | 21 Mar 2022

Kanren for Pyhon implements a logic programming paradigm using generators giving substitutions for logical variables. It allows to deal with infinite solutions that can be conjoined (interleaved) with others seamlessly
Five-minute Multimethods in Python by Guido van Rossum - March 30, 2005
1 project | /r/Python | 1 Mar 2021

found about this decorator while playing with https://github.com/pythological/kanren

What are some alternatives?

When comparing ukanren-rs and kanren you can also consider the following projects:

rust - Empowering everyone to build reliable and efficient software.

minizinc-python - Access to all MiniZinc functionality directly from Python

conlog - A simple prolog interpreter written in Rust

clpz - Constraint Logic Programming over Integers

crepe - Datalog compiler embedded in Rust as a procedural macro

microKanren-py - Simple python3 implementation of microKanren with lots of type annotations for clarity

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

PyNeuraLogic - PyNeuraLogic lets you use Python to create Differentiable Logic Programs

scryer-prolog - A modern Prolog implementation written mostly in Rust.

pyswip - PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.