On: I accidentally turned LLM memory into program analysis

[jjp]

Interesting and potentially has applicability in deriving logical rules from regulation, contracts etc. Are there already formal languages that can be used to codify, that sort of information.