I feel like minikanren matches pretty closely to what I wrote about regex and sql? The execution model really isn’t visible from the surface syntax. And while

I feel like minikanren matches pretty closely to what I wrote about regex and sql? The execution model really isn’t visible from the surface syntax. And while you probably don’t embed it as a string, you do basically have a shim layer between the host language and the natural ways of expressing a logic program. My point is something like “if you’re doing something like SQL or regex or minikanren, you have a claim to implementing your own language, but the normal case is just another API.” There is a reason we’re talking about Oleg! He’s really unusual (in a good way).