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