| | What Is miniKanren? (minikanren.org) |
|
235 points by Bluestein 5 months ago | past | 135 comments
|
|
| | Differences Between miniKanren and Prolog (minikanren.org) |
|
63 points by tosh on Jan 22, 2024 | past | 29 comments
|
|
| | UKanren in J: Embedding in an Array Language with Rank-Polymorphic Unification [pdf] (minikanren.org) |
|
4 points by harperlee on Aug 27, 2020 | past | 1 comment
|
|
| | Differences Between MiniKanren and Prolog (minikanren.org) |
|
1 point by tosh on Aug 3, 2019 | past
|
|
| | Minikanren – An embedded DSL for logic programming (minikanren.org) |
|
224 points by tosh on Dec 17, 2018 | past | 44 comments
|
|
| | MiniKanren (minikanren.org) |
|
1 point by tosh on Aug 17, 2018 | past
|
|
| | miniKanren and Prolog (minikanren.org) |
|
3 points by tosh on April 6, 2017 | past
|
|
| | What is miniKanren? (minikanren.org) |
|
3 points by tosh on Jan 2, 2017 | past
|
|
| | Differences between miniKanren and Prolog (minikanren.org) |
|
2 points by setra on Dec 20, 2016 | past
|
|
| | Difference between Minikanren and Prolog (minikanren.org) |
|
2 points by jasim on June 20, 2016 | past
|
|
| | MiniKanren – An embedded DSL for logic programming (minikanren.org) |
|
85 points by michaelsbradley on Oct 1, 2014 | past | 22 comments
|
|
