5 ms·
This. I'm no Prolog expert, but every time I come back to it I remember how elegant canonical problems are to solve with it. I absolutely love the declarative
by craigching 12y ago
This. I'm no Prolog expert, but every time I come back to it I remember how elegant canonical problems are to solve with it. I absolutely love the declarative style. More languages need to have logic extensions a la core.logic for Clojure, various Kanrens for Scheme. I would love to see computer scientists make advancements in logic programming.
- MonkeyIsNull 12y agoAmen
- malisper 12y agoJust a nitpick, but core.logic is a version of Kanren[0]. [0] https://github.com/clojure/core.logic https://github.com/clojure/core.logic
- craigching 12y agoI'm aware of that, I wasn't aware that I said otherwise ;) I just meant that more implementations in more languages would be a good thing
- malisper 12y agoIt's just the way you phrased it, core.logic for Clojure, various Kanrens for Scheme, as opposed to, implementations for Kanren in Clojure and Scheme such as core.logic.