Mini and micro kanren¶
minikanren by Brandon Willard¶
“In the following sections we detail our implementation of miniKanren (Willard 2020d), operating under the PyPi name miniKanren and Python package name kanren. We also describe its ecosystem of complementary packages etuples, cons, and symbolic-pymc. kanren is a fork that tries to maintain syntactic parity with its predecessor logpy (Rocklin 2018), but now deviates significantly in terms of core mechanics and offerings.”
https://github.com/pythological/kanren
https://arxiv.org/abs/2005.11644
Links (projects and articles)¶
- https://github.com/ethframe/microkanren
- https://erik-j.de/microkanren/
- http://minikanren.org/
- https://www.philipzucker.com/minikanren-z3py/
- https://www.researchgate.net/publication/341640178_miniKanren_as_a_Tool_for_Symbolic_Computation_in_Python
- https://en.wikipedia.org/wiki/MiniKanren
- https://github.com/logpy/logpy
Page last modified: 2024-01-02 11:14:33