microKanren-py
Simple python3 implementation of microKanren with lots of type annotations for clarity (by Erik-J-D)
edcg
Extended DCG syntax for Prolog by Peter Van Roy (by kamahen)
microKanren-py | edcg | |
---|---|---|
1 | 1 | |
5 | 6 | |
- | - | |
0.0 | 0.0 | |
about 1 year ago | over 2 years ago | |
Python | Prolog | |
- | 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
edcg
Posts with mentions or reviews of edcg.
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
> you have to check out eDCGs.
https://github.com/kamahen/edcg https://occasionallycogent.com/prolog_edcgs/index.html
What are some alternatives?
When comparing microKanren-py and edcg you can also consider the following projects:
Gleemin - A Magic: the Gatheringā¢ expert system
louise - Polynomial-time Meta-Interpretive Learning
scryer-prolog - A modern Prolog implementation written mostly in Rust.
kanren - An extensible, lightweight relational/logic programming DSL written in pure Python
wh40ksim - Warhammer 40k Combat simulator
muKanren_reading - [Mirror] A close reading of the Ī¼Kanren paper.