Concatenative relational interpreter in miniKanren
With Brandon Bloom and Brian Mastenbrook at Strange Loop 2014. Extended to generate quines with Claire Alvis, Ryan Culpepper, Faré, Chris Jester-Young, Brian Mastenbrook, Bodil Stokke, Daniel Yokomizo.