3 ms·
Clojure/core — (second conj)
- postfuturist 15y agoDon't miss the link near the top to the repo of speaker slides. I really hope videos are made available.
- swannodette 15y agoI'm looking forward to fogus's BOF summary. Dan Friedman (author of The Little Schemer, The Seasoned Schemer, The Reasoned Schemer, and many other excellent books and papers) and William Byrd were in attendance. They gave a pretty stunning presentation on miniKanren.
- nmorris 15y agoIs there a copy of their interpreter available? I'd like to see how the relations are setup to be able to "run backwards".
- swannodette 15y agoThey said they would send it along, but they wanted to make the parser relational as well. When I get it I'll do a write up about it.
- fogus 15y agoI believe the official Kanren/miniKanren source is at http://kanren.sourceforge.net http://kanren.sourceforge.net and the cKanren source is at https://github.com/calvis/cKanren https://github.com/calvis/cKanren
- swannodette 15y agoI think he was asking about the interpreter they demoed during their talk. A more up-to-date version of miniKanren as well as many interesting variants can be found here: http://code.google.com/p/iucs-relational-research/ http://code.google.com/p/iucs-relational-research/
- jamii 15y agohttps://github.com/clojure/core.logic https://github.com/clojure/core.logic