Has anyone ever attemteped to create a “programming” language for legal English?

Just a thought I reckoned was worth asking about: since legal languages have to be unambiguous, maybe someone had the idea to try and make a “programming” language for it before — be it in a form of a pseudo language, some mere theoretical discussions or even a concept described in a fiction book.