Clojure eXchange 2012 / The Refined Clojurist

Please RSVP for instructions on how to join the event.


Constraint Logic Programming (CLP) is a powerful extension to relational programming systems. In traditional relational programming systems like Prolog the primary constraint is a strategy know as unification. However this approach does not comes without costs - in fact reasoning about costs in Prolog-like systems is surprisingly challenging. CLP is an expressive approach that attempts to address some of these issues. This talk will cover the basic ideas behind CLP and how we derived the extensible constraint system now in core.logic from the Alvis, Friedman, Byrd, et al. work on the cKanren extensions to miniKanren.


No outline is available


The creator of this video has not given permission to embed it on this domain.

Instead, you can view this video by following this external link:

Go to site

David Nolen (david.nolen)


No biography is available.

For a complete view of this profile, including education, work experience and developer information, you need to be logged in and have a subscription.

David 's upcoming trainings

No events

David 's past online trainings

David 's blog posts

IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper