Implementing Japanese Presupposed Ultimate Fact Theory in Logic Programming

我们开发了一种编程语言PROLEG，它实现了用于民事诉讼的日本预设根本事实理论(JUF理论)。我们在一本JUF理论课本中描述了各种问题，并验证了问题推理过程和律师辩护过程的等价性。此外，我们还发现，PROLEG还可以用于其他法律领域，如宪法和刑法，以描述这些领域的各种案例。我们还实现了一个可视化的PROLEG推理调试工具，它相当于JUF理论中的“方框图”。

We develop a programming language called PROLEG which implements Japanese Presupposed Ultimate Fact Theory (JUF theory) for civil litigation. We described various questions in a text book of JUF theory and verified equivalence of PROLEG reasoning process and lawyer's reasnoning process. Moreover, we found that PROLEG can be used for other law domains such as constitutional law and penal code to describe various cases in these domains. We also implemented a visual debug tool for PROLEG reasoning process which is equivalent to "block diagram" in JUF theory.