miniKanren - Dan Friedman and William Byrd

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: ▶ this video It's really a fun presentation and does a great job introducing logic programming and miniKanren to lay programmers.

Beside dependent types, bidirectional (~relational) programming is the only thing that amaze me. Dan Friedman gave talks about [mini]kanren, see ▶ this 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

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