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.

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: https://www.youtube.com/watch?v=5Q9x16uIsKA https://www.youtube.com/watch?v=5Q9x16uIsKA It's really a fun presentation and does a great job introducing logic programming and miniKanren to lay programmers.