A unified approach to solving seven programming problems
Lambda the Ultimate - Programming Languages Weblog 2017-09-04
Summary:
A fun pearl by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might from ICFP: seven programming challenges solved (easily!) using a relational interpreter. One challenge, for example, is to find quines. Another is to find programs that produce different results with lexical vs. dynamic scope.
The interpreter is implemented in miniKanren (of course), inside Racket (of course).