A 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

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