論理憲法
非手続き型プログラミング言語の一つにProlog（プロログ）があるそうで
これを用いた論理憲法なるサイトが公開されているということです。
私は恥ずかしながら，このPrologの存在は知りませんでした。
1972年、フランスのマルセイユ大学のAlain Colmerauer氏が中心となって開発したプログラミング言語。 述語論理を用いた論理型言語と呼ばれる非手続き型言語で、人工知能の開発に適しているといわれている。 エキスパートシステムの開発などに用いられている。Prolog
論理憲法
日本国憲法をコンピュータで処理できるプログラムに書き換えることで
ユーザからの質問に対して憲法に忠実な回答を返すことを目的としたシステムです。
情報源:
prologで実装された論理憲法 – スラド IT