BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
News Articles Presentations Podcasts Guides

Topics

Choose your language

QCon San Francisco: Video-Only Pass

Video-Only Pass for professionally edited conference recordings. Available from Oct 20, 2023.
QCon London

Discover new ideas and insights from senior practitioners driving change in software. Attend in-person.
The Software Architects' Newsletter

Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.

InfoQ Homepage Presentations Intro to CLP with core.logic

Intro to CLP with core.logic

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

Recorded at:

Jun 18, 2013

This content is in the Java topic

Related Topics:

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.

    Back to top
  • 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!

    Back to top
  • 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

    Back to top

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

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

BT