Lojic Part One

Posted by on Dec 05, 2011

If one clear theme emerged from Clojure/conj 2011, it was: you should learn more about logic programming. (Or should we call it lojic programming?) But you don't have to take my word for it, just look at the presentations:

  • Stuart Sierra mentioned clojure.core.logic as something to explore in his opening talk, "Clojure: Next Steps."
  • Ambrose Bonnaire-Sergeant delivered "Introduction to Logic Programming with Clojure" with examples using core.logic.
  • David Nolen discussed "Predicate Dispatch" as an application of logic programming.
  • Daniel Friedman and William Byrd gave an informal presentation about their miniKanren and cKanren logic systems, on which core.logic is based.
  • Rich Hickey, in his keynote, talked about logic programming in general, and core.logic in particular, as a tool for extending the Clojure language.
  • Finally, Nathan Marz presented Cascalog, a library for running logic programs written in Clojure on Hadoop MapReduce clusters.

(Slides for all the talks are available or will be posted as soon as speakers make them available. All talks were recorded: allowing time for editing and encoding, videos will be posted at clojure.blip.tv.)

So what is logic programming? And why should you care? Those questions will be the subject of this series. Stay tuned.

blog comments powered by Disqus