Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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



I always thought minikanren was just a toy Prolog implemented in Lisp and then other languages.


Definitely not the intent: 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).


I 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".


Constraint programming is the new way, with Minizinc as the language. OR-tools from google is the best current solver.

https://www.minizinc.org/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: