Meet up

µKanren: Running the Little Things Backwards

Tuesday, 3rd March at Skills Matter, London

This meetup was organised by The London Clojure Community in March 2015


µKanren: Running the Little Things Backwards

In this talk, we will explore the µKanren language by implementing it from first principles in a simple functional programming language, going on to demonstrate how you can assemble these simple building blocks into a semblance of its richer parent, miniKanren, and maybe solve a logic puzzle or two to make sure it’s working as advertised.

The µKanren paper, and the original µKanren implementation, were authored by Jason Hemann and Daniel P. Friedman. The paper is available at, and the Scheme implementation at

Bodil Stokke

Bodil works as a computer science researcher for a secretive think tank, and is a world renowned expert in varied fields such as pizza and persistent data structures. Contrary to popular rumour, she only has five fingers on each hand, but is still an Emacs user.

Who's coming?

Attending Members