This minikanren paper is excellent: "A Unified Approach to Solving Seven Programming Problems (Functional Pearl)" https://dl.acm.org/doi/pdf/10.1145/3110252 Found via William Byrd's recent talk about ongoing work: https://fosdem.org/2023/schedule/event/reflexiveinterpreters