Code from Lambda Lounge Utah talk on miniKanren, 13 May 02104