3 ms·
My excitement about Clojure led me to core.logic, which led me to kanren, which led me to Prolog. Am I doing it wrong?
by saosebastiao 13y ago
My excitement about Clojure led me to core.logic, which led me to kanren, which led me to Prolog. Am I doing it wrong?
- nickik 13y agoIf you want to write productive code, yes you are wrong.
- darksaints 13y agoConstraint Logic Programming is extremely productive in logistics planning problems which are NP-Complete/Hard. Even SWI-Prolog, which is hardly the fastest implementation out there, is faster than the fastest IP solvers I have found (Gurobi and CPLEX). Of course, if you want to coerce the word "productivity" to mean "making boring CRUD webapps quickly", you have a point.
- nickik 13y agoWhen you say Prolog, I think of the standard without CLP. Also if you want to do anything other then solving logical problem you will be better served with clojure/core.logic or anouther 'mainstream' language with a good logic implmentation.
- gphil 13y agoNot if those tools are helping you solve the problems you want to solve. Also, not if they're expanding how you think about computation. I'm willing to guess at least one, if not both, are true for you.
- saosebastiao 13y agoYeah, it is both. It does seem a little counter-intuitive to some people, and I get made fun of a bit for it.