Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Intro to CLP with core.logic

Intro to CLP with core.logic



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.

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.

Recorded at:

Jun 18, 2013

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • Code view?

    by R W,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Is the a way to view the demo code? The presentation is rather useless without it.

  • Re: Code view?

    by Thomas Schulte,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    I thought i do something wrong. But i don't saw any demo code in this video!

  • Constraint Programming is not about solving arithmetic toy academic puzzles

    by Radoslaw Szymanek,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Dear Ryan et all,

    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.

    best regards,
    Radoslaw Szymanek

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p