Interesting idea, short googling lead me here: "Computational Law is a branch of Legal Informatics concerned with the mechanization of legal reasoning (whether done by humans or by computers).[1] It emphasizes explicit behavioral constraints and eschews implicit rules of conduct. Importantly, there is a commitment to a level of rigor in specifying laws that is sufficient to support entirely mechanical processing."

https://en.wikipedia.org/wiki/Computational_law