Ryan Senior introduces CLP using core.logic through examples and live coding based on some logic puzzles, providing the essential background to have some fun with core.logic and CLP.
Ryan Senior (@objcmdo) is a Senior Engineer at Revelytix Inc writing Semantic Web software in Clojure. He has worked in many other industries including healthcare, insurance, finance and manufacturing. His main interests are logic programming, programming languages and the semantic web.
The miniKanren Confo is a special 4 hour conference about logic programming (in particular miniKanren). Dan Friedman and Will Byrd (co-authors of the Reasoned Schemer) will provide a keynote. The list of sessions can be found on the Clojure/West site.
Re: Code view?
Constraint Programming is not about solving arithmetic toy academic puzzles
I invite you to try Constraint Programming (CP) solver, JaCoP, that I have co-authored with many challenging examples. It is open source available on SourceForge. We have worked on it for 14+ years. It has been used in many PhD works with great success solving challenging problems.
I recommend looking at our guide as it will explain how to use global constraints. CP without global constraints is just plain academic toy. Using problems with arithmetic constraints is doing CP bad publicity.
I am sorry but I am quite disappointed at InfoQ for posting this presentation. I would not try Constraint Programming after watching this presentation.