HackerTube

miniKanren - Dan Friedman and William Byrd

ClojureTV2 HN recommenders · 2013–2018
10K views · talk · evergreen · Uploaded 2013-01-07

Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk. It includes generating programs by running relations in reverse.

HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.

Functional programmingProgramming language design

Watch on YouTube

3 comments from Hacker News

@zalthor2013 · in “Explorations in Clojure's core.logic”

Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: [VIDEO] The bits about generating programs using MiniKanren was truly mind blowing.

Strongly recommendsView on HN
@agumonkey2014 · in “Advanced programming languages (2009)”

Beside dependent types, bidirectional (~relational) programming is the only thing that amaze me. Dan Friedman gave talks about [mini]kanren, see [VIDEO] I couldn't find the one where he asks (eval exp '()) to be 6 and gets many results such as 6 ;; duh (let ((_ 5)) ((lambda (x) (+ x 1)) _)) ;; better Here's an example involving cons cells only [LINK]

CitesView on HN
@CamTin2018 · in “Reazon – miniKanren for Emacs”

Fun! I highly recommend watching Dan Friedman and William Byrd give their miniKanren conference talk (they've done it a number of times slightly differently) e.g. this one at the "Conj" Clojure convention: [VIDEO] It's really a fun presentation and does a great job introducing logic programming and miniKanren to lay programmers.

Strongly recommendsView on HN