miniKanren
Shares rank 110 of 163 programming languages by recommenders
A small relational programming language embedded in many host languages, praised for its power in program synthesis and logic search. Critics note there is no real debugger for it.
A small relational programming language embedded in many host languages, praised for its power in program synthesis and logic search. Critics note there is no real debugger for it.
9 people gave an opinion
- recommend it
- 8
- criticize it
- 1
- approval share
- 89%
Recommended in 6 of 13 months
- November 2025: recommended
- December 2025: recommended
- January 2026: recommended
- February 2026: not recommended
- March 2026: not recommended
- April 2026: recommended
- May 2026: recommended
- June 2026: not recommended
- July 2026: not recommended
- August 2026: recommended
- September 2026: not recommended
- October 2026: not recommended
- November 2026: not recommended (month in progress)
Why it doesn’t carry the badge
- 8 people recommend itNeeds 10 or more, not met.
- 8 recommenders for every criticNeeds 2 to 1 or better, met.
- Recommended in 6 of 13 monthsNeeds 4 or more, met.
The same three rules apply to every product, and the badge can’t be bought. How the badge works
What people say about it
The reasons people give, with the number of comments that give each one. Open a reason to read what they said.
Why people recommend it
Each mark is one comment
Ported to many languages
“somethign like that exists for most languages of any popularity (and many obscure ones), in the form of miniKanren implementations.”
Comment from 12 Nov 2025 in “Learn Prolog Now (2006)” “that's what kanren/minikanren which has been ported to many languages”
Comment from 30 Apr 2026 in “Why I Still Reach for Lisp (& Scheme) Instead of Haskell”
What people warn about
Each mark is one comment
No real debugger exists
“To this date, I don't think a single real debugger exists for any miniKanren implementation.”
Comment from 24 Aug 2026 in “A Friendly Introduction to Racket”
Other programming languages people recommend
The four most recommended other programming languages, with the same counts for each, so you can compare like for like. The tick on each bar marks the 2 to 1 line the badge needs.
See all 163 programming languages, rankedWhat people said
7 of the 9 comments that mention it, newest first. Each links to the original comment.
“To this date, I don't think a single real debugger exists for any miniKanren implementation.”
“Ooo I love anything miniKanren related.”
“the MInikanren and the Mini Prolog it's incredibily powerful”
“that's what kanren/minikanren which has been ported to many languages”
“multi-stage relational programming for faster synthesis of programs with holes”
“somethign like that exists for most languages of any popularity (and many obscure ones), in the form of miniKanren implementations.”
“Maybe try a Ruby Kanren implementation”
Counts come from 1,795,640 Hacker News comments, November 2025 to November 2026. How we count. Report a mistake.