The 1980s saw the rise of one of central projects of AI and Law the representation of law as executable logic programs. [1] describes one of the steps in the development of the project with the representation of a large portion of the United Kingdom’s legislation on “Supplementary Benefit” (SB) as an executable logical model of law in Prolog. It outlines the legislation, the task the representa...