Ask HN: Has anyone tried to rewrite a law in Prolog?

A classic reference: The British Nationality Act as a Logic Program:

https://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%2...

Parts of the constitution of Japan in Prolog:

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

A recent project involving the formalization and automated analysis of criteria for grants:

https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-...

https://popl22.sigplan.org/details/prolala-2022-papers/3/Int...

Possible yes, sensible no. Any logical outcome can be set aside on fundamentally arbitrary bases, and as soon as you start trying to maintain compatibility with precedent or enforce some sort of axiomatic consistency the whole thing will collapse.

Represent the model probabilistically, like with markov chains or similar.

Interestingly, the law is not what's written in the Constitution, U.S. Code, state laws, or other legislative produces.