this definition of semantics of PROLEG is similar to the one of the answer set programming.
NOTER_PAGE: (1 . 0.4337152209492635)
judges often suffer from a lack of evidences which determine the truth value of a specific legal condition.
NOTER_PAGE: (1 . 0.4509001636661211)
In Japan, a group of judges has been developing a theory called “Japanese Ultimate Fact Theory”
NOTER_PAGE: (1 . 0.5409165302782324)
What!! Judges??
PROLEG has currently around 2500 rules and exceptions which covers the most part of the Japanese contract law including the Supreme Court case rules. A set of rules and exceptions has been compiled by graduates from the top law school in Japan and checked for correctness by representing and solving all yes/no questions in civil code bar examinations using the JUF theory.