Code from the 2012 Scheme Workshop programming pearl "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters," by William E. Byrd, Eric Holk, and Daniel P. Friedman.
To run the tests, just load the file testall.scm
All code tested under Petite Chez Scheme Version 8.4.