パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

prologで実装された論理憲法」記事へのコメント

  • by Anonymous Coward

    いま有効な全ての法律をこんなふうにデータベース化したら便利かな。
    省令・政令・条例・判例も。

    • by Anonymous Coward

      無理ですよ。あちこち矛盾があるので推論が止まっちゃう。

      • by Anonymous Coward on 2016年03月17日 22時59分 (#2982694)

        判例や学説を整理して「...という論点で見解が分かれている」って出してくれれば十分なんだが
        矛盾が出るからダメ、ってそこで思考止めちゃうのはコンピューターだけでいい

        親コメント

犯人はmoriwaka -- Anonymous Coward

処理中...