[will_byrd]

Used in both a short miniKanren tutorial:

https://io.livecode.ch/learn/webyrd/webmk

and in an interactive version of the 2017 ICFP pearl on miniKanren:

https://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp