© 2019 The authors and IOS Press. ANGELIC is a methodology for encapsulating knowledge of a body of case law. Logiak is a system intended to support the development of logic programs by domain experts, and provides an excellent environment for the rapid realisation of ANGELIC designs. We report our use of Logiak to realise ANGELIC designs, using both Boolean factors and factors with magnitude.

Formalisations to date have tended to ignore a salient feature of statutes: they exhibit a multi-layered logical structure. This, rather than the unsuitability of logic for representing statute law, is at the root of at least some of the knowledge representation problems researchers have uncovered. In addition, the failure of any formalisation to mirror this kind of structure means that it inevitably will be an impoverished translation of the original article.

INTRODUCIIONThe papct describes a project which began in April 1986 on the representation in logic of a large portion of the United Kingdom's welfare law; specifically the legislation relating to 'Supplementary Benefit'.The paper describes the nature of the legislation and the kinds of tasks which the ,epftsentation is intended to support, reports on the progress of the project so far, and describes some of the knowledge representation problems that have arisen and how we propose to overcome them.The principal aim of the paper is to elaborate on our use of logic programming techniques for applications in law, and on our view of how executable logical models of law can be used to support various aspects of legal reasoning.