[ipnon]

There exists a formulation of the Japanese Constitution in Prolog, which can then be called with a proposition to determine its constitutionality.

[keeler]

Link for those interested: https://github.com/bitlaw-jp/the-constitution-of-japan