miniKanren, live and untaggedQuine generation via relational interpreters Posted on September 9, 2012 (Last modified on July 10, 2026) | 9 min | 1777 words | William E. Byrd Eric Holk Daniel P. Friedman[Read More]Categories: scheme logic programming Tags: pattern matching