3 ms·
Thanks, yeah that was a bit of shame; I actually discovered logic programming through Clojure's core.logic. Definitely logic and probabilistic programming are s
by Peteris 14y ago
Thanks, yeah that was a bit of shame; I actually discovered logic programming through Clojure's core.logic. Definitely logic and probabilistic programming are some of the most useful DSL's that can be built. The power is there, it's perhaps the case that Prolog compilers have a much longer history of optimizations, so it might take a while to catch up even though core.logic has some convincing benchmarks too.
Another area is functional logic programming. I've played around with Curry, and it's great and it feels even better than just having a logic DSL. The way you can represent strongly typed bi-directional declarative regular expression parsers is simply magic.
It's an exciting decade for logic :).
- agumonkey 14y agoNice slides, thanks a lot. An often mentioned reference is The reasoned schemer, or TAoP. Do you have any other recommendations to get a grasp of logic programming ? BTW, it reminds me of this talk : A Taste of Prolog by Aja Hammerly @ Cascadia Ruby 2012 http://www.youtube.com/watch?v=hEOVcLAPRG8 Oh, and David Nolen introduced a bit of core.logic here : http://www.infoq.com/presentations/ClojureScript-Optimizations ps: I don't want to distract people on other talks, just want to aggregate introductions in a single place.
- wodow 14y agoI added a wiki entry for the Python libs for logic programming: http://wiki.python.org/moin/LogicProgramming http://wiki.python.org/moin/LogicProgramming