Getting way off-topic but Stanford Law School had a project trying to encode law as code: https://law.stanford.edu/codex-the-stanford-center-for-legal...