Hacker News Reader

Comment by wodow | Hacker News Reader

This was a very good talk - a whistle-stop tour of Prolog.

It would have been interesting to hear more about your thoughts on embedded logic systems for other, general languages (having looked at some of the python libs myself recently) - though I realise there likely wasn't time for this.

View on HN

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 :).

Nice 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.

I added a wiki entry for the Python libs for logic programming: http://wiki.python.org/moin/LogicProgramming

Reply on news.ycombinator.com