kanren vs ukanren-rs

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

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

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

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.

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

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

What are some alternatives?

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

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

rust - Empowering everyone to build reliable and efficient software.

clpz - Constraint Logic Programming over Integers

conlog - A simple prolog interpreter written in Rust

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

crepe - Datalog compiler embedded in Rust as a procedural macro

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

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

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.

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

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