InfoQ Homepage Presentations Intro to CLP with core.logic
Intro to CLP with core.logic
28:24
Summary
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.
Bio
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.
About the conference
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.
Jun 18, 2013