This reminds me of the relational interpreters Will Byrd and company build in minikanren. (See barliman) Very cool stuff! I love relational programming. Relat

This reminds me of the relational interpreters Will Byrd and company build in minikanren. (See barliman) Very cool stuff! I love relational programming. Relation interpreting still blows my mind.