Comment Comment by fizixer I'm told Prolog is the old way.miniKanren (by William Byrd et. al.) is trending for many years though I'd like to know what's fundamentally new about it.The fact that Byrd later worked on constraint'ed miniKanren (cKanren) means miniKanren is not as powerful?His recent talk about using it with Barliman frontend was pretty cool [1][1] https://www.youtube.com/watch?v=RVDCRlW1f1Y parent fizixer 6 years ago
miniKanren (by William Byrd et. al.) is trending for many years though I'd like to know what's fundamentally new about it.
The fact that Byrd later worked on constraint'ed miniKanren (cKanren) means miniKanren is not as powerful?
His recent talk about using it with Barliman frontend was pretty cool [1]
[1] https://www.youtube.com/watch?v=RVDCRlW1f1Y