Has anyone tried to rewrite a law in Prolog?

Question

Curious if it is possible and if it makes sense to define everything in a law or constitutional act as logical rules using a logic-based programming language such as Prolog.It'd be really fun to simply type a logical question and directly see whether it is legal or illegal based on all the definitions.

triska · Accepted Answer

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-japanA 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-...

tannhaeuser · Answer

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

anigbrowl · Answer

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.

cratermoon · Answer

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