Explorations in Clojure's core.logic | Hacker News Reader

Explorations in Clojure's core.logic

jrheard.tumblr.com

79 pointsjrheard6 comments

If you're interested in learning more about core.logic and miniKanren, then there is a half-day conference collocated with Clojure/West on March 19th in Portland, OR. More information at http://blog.fogus.me/2013/02/20/confo/

It's only $50 to attend.

Clojure/West is looking pretty special, and I'd like to thank Fogus for putting the Confo together. I (and I think many others) expected maybe 20 or 30 people to be interested. Instead it turns out nearly a hundred are!

I'm particularly excited about hearing Nada Amin (who works on many neat things, included type related ones at EPFL - home of Scala) will be giving a really fun talk on nominal logic programming. Expect brain melting of the best kind!

Finally, going off topic just a bit, if there are any overly ambitious students looking at this thread - the Clojure community is putting together the list of project ideas for Google Summer of Code 2013 - http://dev.clojure.org/display/community/Project+Ideas. I'd like to see quite a few enhancements to core.logic! Of course we're equally excited about core.typed, ClojureScript, better tooling for beginners and more! Please, feel free to post your own ideas.

I'm curious, will there be anything on core.logic in the second edition of "Joy of Clojure"?

According to the author's update, it will cover core.logic - http://blog.fogus.me/2013/02/08/moar-joy/

Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: http://www.youtube.com/watch?v=5Q9x16uIsKA

The bits about generating programs using MiniKanren was truly mind blowing.

In addition to miniKanren, there's actual Kanren. http://kanren.sourceforge.net/

What Kanren does is show how functional programming and logic programming can be viewed as roughly the same thing.

It's interesting that generalized parsing is also more or less like logic programming.

So functional programming w/delimited continuations == generalized parsing == logic programming. Sorta.

Reply on news.ycombinator.com