Hackernews posts about miniKanren

1. 01
   

   newWhat Is miniKanren?minikanren.org

   ▲ 235Bluestein641d💬 135savesaved
2. 02
   

   newDatalog in miniKanrendeosjr.github.io

   ▲ 134deosjr476d💬 17savesaved
3. 03
   

   newTowards Bottom-Up Enumeration in miniKanren via Pruning and Memoizationarxiv.org

   ▲ 26Jimmc41462d💬 3savesaved
4. 04
   

   newWilliam Byrd on Logic and Relational Programming, miniKanren (2014)www.infoq.com

   ▲ 6tosh156ddiscusssavesaved
5. 05
   

   newDifferences Between miniKanren and Prologminikanren.org

   ▲ 2tosh156ddiscusssavesaved
6. 06
   

   newFrom Bronze to GM in miniKanren Episode 1 in an ongoing series [video]www.youtube.com

   ▲ 1fogus599ddiscusssavesaved
7. 07
   

   newShow HN: CanhazKanren: A MicroKanren in Lolcode 1.3github.com

   ▲ 2jasonhemann187ddiscusssavesaved
8. 08
   

   newMicroKanren in J (2020) [pdf]minikanren.org

   ▲ 2tosh156ddiscusssavesaved

· edit