Law making is kinda logic programming[0]. Someone even wrote the constitution of Japan in prolog ! [1]

[0] https://en.wikipedia.org/wiki/Logic_programming

[1] https://github.com/bitlaw-jp/the-constitution-of-japan