Clojure eXchange 2012 / The Refined Clojurist

Please RSVP for instructions on how to join the event.

Description

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

Logging in...