kanren
ukanren-rs
| kanren | ukanren-rs | |
|---|---|---|
| 3 | 4 | |
| 169 | 107 | |
| 0.0% | - | |
| 0.0 | 0.0 | |
| over 1 year ago | over 1 year ago | |
| Python | Rust | |
| GNU General Public License v3.0 or later | MIT License |
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
- Kanren: An extensible, lightweight relational/logic programming DSL in Python
-
When do you use generators?
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
found about this decorator while playing with https://github.com/pythological/kanren
ukanren-rs
What are some alternatives?
minizinc-python - Access to all MiniZinc functionality directly from Python
crepe - Datalog compiler embedded in Rust as a procedural macro
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
rust - Empowering everyone to build reliable and efficient software.
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.