The Legal Applications of Logic Programming Workshop at the ICLP 94 Conference

Abstract

The representation of parts of legislation in logic, successively implemented in the language oflogic programmingand managed by Prolog interpreters, has by now existed for more than ten years. The first and most well-known projects were those by theLogic Programming Groupof Imperial College of London which, in 1985, formalized theBritish Nationality Act(Sergot et al., 1986; Sergot, 1990). Other projects followed, for the most part European, including the Italian project, Esplex, developed in Florence (Biagioli et al., 1987), the Dutch project,Prolex, (Walker et al., 1990), the German project born of the collaboration between IBM and the University of Tubingen (Alschwee, Grundrnann, 1986), and the Japanese project,Les-2(Yoshino, 1986).