Code from Lambda Lounge Utah talk on miniKanren, 13 May 02104 - View it on GitHub