4 ms·
Ask HN: Has anyone tried to rewrite a law in Prolog?
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.
- cratermoon 4y agoInterestingly, the law is not what's written in the Constitution, U.S. Code, state laws, or other legislative produces.
- tannhaeuser 4y agohttps://popl22.sigplan.org/details/prolala-2022-papers/3/Introduction-of-PROLEG-PROlog-based-LEGal-reasoning-support-system- https://popl22.sigplan.org/details/prolala-2022-papers/3/Int...
- triska 4y agoA classic reference: The British Nationality Act as a Logic Program: https://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%20Act.pdf 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 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-Analysis-of-Grants.html https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-...
- anigbrowl 4y agoPossible 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.
- MrLeap 4y agoRepresent the model probabilistically, like with markov chains or similar.