本論文では、刑事訴訟のPROLEG(PROlog-based LEGal reasoning support system)による実装について検討する。PROLEGは民事訴訟を実装するために開発されてきたが、PROLEGの法表現自体は、原則・例外からなる法体系であれば一般的に応用可能である。刑法も同様に原則・例外からなる法体系であるので、PROLEGでの実装は基本的には可能と思われるが、民事訴訟と刑事訴訟には概念的な差異があるため、この論文はそのような差異についてPROLEGでどのように実装するかについて論じる。
