addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

introduction to core.logic

Introduction to core.logic by Norman Richards




A logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation Relational Programming in miniKanren: Techniques, Applications, and Implementations as well as the extensions described in cKanren and αKanren. It is designed to be easily extended to forms of logic programming beyond the ones provided.


Join or login to comment.

  • Steven B.

    Really enjoyed the talk.

    June 27, 2013

  • Chris O.

    Would like to attend, but can't make Thursday meetings :(

    June 27, 2013

  • Norman R.

    I highly encourage everyone to plan to do some coding tonight, so please "git clone [masked]:orb/logicdemo.git" and run "lein deps" to make sure you are all ready. There is no code in the project, but it's set up so that "lein repl" will get you to a namespace set up to do everything we'll look at tonight.

    June 27, 2013

  • Nelson M.

    I was most of the way done with lining up a remote presentation for june, and they recently confirmed.

    Want to claim July for a core.logic one?

    May 26, 2013

    • Norman R.

      You can move my core.logic talk to June if you want. Or we can stick to July. I'm free both dates.

      June 10, 2013

    • Nelson M.

      Moving it to June sounds good to me. Will update later

      June 10, 2013

7 went

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy