Comment by tsujp

There are already (by analogue) programming languages for law, natural human language. A contract for instance, or the law itself.

The problem with the law is interpretation. It is not deterministic and that is because only a small subset of human language is deterministic.

A programming language alone does not solve interpretation (what does this statement mean) and trust (can I trust that THE [because there should only be one] interpretation of this statement has been executed). A programming language (interpretation) and a runtime (trust) are both required.