Implementation of Criminal Procedure using PROLEG Technology

Abstract

In this paper, we show a possibility to implement Japanese criminal procedure including Japanese penal code in PROLEG (PROlog-based LEGal reasoning support system). PROLEG has been orginially used to formalize only civil procedure but it is also generally applicable to laws which include general rules and exceptions. Japanese penal code consists of general rules and exceptions so it is possible to formalize it in PROLEG. This paper discusses a concern about how we represent conditions of concepts in criminal law domain using PROLEG.