[sporkl]

This kind of reminds me of what happens when you implement an interpreter in a relational programming language, which lets you do cool stuff like generating quines by specifying that the program and it’s output should be the same.

Quick search lead to this paper which is exactly what I’m talking about: http://webyrd.net/quines/quines.pdf

[YeGoblynQueenne]

William Byrd is the creator of miniKanren btw. And an HN user.