kanren
An extensible, lightweight relational/logic programming DSL written in pure Python (by pythological)
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. (by yuce)
| kanren | pyswip | |
|---|---|---|
| 3 | 5 | |
| 169 | 465 | |
| 0.0% | - | |
| 0.0 | 6.8 | |
| over 1 year ago | 19 days ago | |
| Python | Python | |
| GNU General Public License v3.0 or later | 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.
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
-
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
pyswip
Posts with mentions or reviews of pyswip.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-11-21.
- Find Legal Moves in Brass Birmingham with Datalog
-
Prolog at work
You're looking for PySwip.
- The Power of Prolog
-
Small Prologs engine for app
you might like https://github.com/yuce/pyswip
-
Why Learn Prolog in 2021?
It might be easier to learn prolog, if it's wrapped in more familiar python.[1] Prolog's value lies in its database core. But much of the cost of learning a language is elsewhere, in coping with yet another way to do familiar things. With prolog, these are both relatively uninteresting, and nicely separable.
[1] https://github.com/yuce/pyswip
What are some alternatives?
When comparing kanren and pyswip you can also consider the following projects:
minizinc-python - Access to all MiniZinc functionality directly from Python
the-power-of-prolog - Introduction to modern Prolog