4 ms·
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
by fizixer 7y ago
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 https://www.youtube.com/watch?v=RVDCRlW1f1Y
- 7thaccount 7y agoI always thought minikanren was just a toy Prolog implemented in Lisp and then other languages.
- hyperpape 7y agoDefinitely not the intent: http://minikanren.org/minikanren-and-prolog.html http://minikanren.org/minikanren-and-prolog.html. (I also doubt it's the result, though I've not done enough with either language to comment too much).
- 7thaccount 7y agoI read the article and small/minimal...etc isn't that much different than a toy in some respects, but see your point of intent. I've seen a few implementations and didn't get the feeling of "production worthiness".
- deleted 7y ago[deleted]
- overlords 7y agoConstraint programming is the new way, with Minizinc as the language. OR-tools from google is the best current solver. https://www.minizinc.org/ https://www.minizinc.org/