I'm working on something somewhat related. It's a pure logic/query language thats token-optimized for LLMs. https://memelang.net/09/