microKanren-py
Simple python3 implementation of microKanren with lots of type annotations for clarity (by Erik-J-D)
muKanren_reading
[Mirror] A close reading of the μKanren paper. (by ashton314)
microKanren-py | muKanren_reading | |
---|---|---|
1 | 2 | |
5 | 36 | |
- | - | |
0.0 | 3.6 | |
about 1 year ago | almost 2 years ago | |
Python | Racket | |
- | 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.
microKanren-py
Posts with mentions or reviews of microKanren-py.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-05-25.
-
Annotated implementation of microKanren: an embeddable logic language
I did a mostly-true-to-the-paper python implementation a while back, that may be helpful as well: https://github.com/Erik-J-D/microKanren-py
muKanren_reading
Posts with mentions or reviews of muKanren_reading.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-06-06.
-
The Power of Prolog
May I interest you in microKanren? You can just roll your own. Here’s a shameless self-plug for a close reading I did of the paper that introduces microKanren: https://github.com/ashton314/muKanren_reading
- Annotated implementation of microKanren: an embeddable logic language
What are some alternatives?
When comparing microKanren-py and muKanren_reading you can also consider the following projects:
Gleemin - A Magic: the Gathering™ expert system
scryer-prolog - A modern Prolog implementation written mostly in Rust.