© 1977 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
The LEGOL 1 prototype system and language*

L
E, Houghton Street, London, UK
Research into the problems of information analysis is being carried out using legislation as experimental material. A body of administrative law may define the tasks of a man/machine information system and, by attempting to construct a formalism (LEGOL), in which such law may be expressed, it is possible to study the logical structure of formal systems. A prototype version of the formalism and of its interpreter system are described. Theoretical problems are raised in the fields of data base semantics, very high level languages, use of relational data bases, design decision-making and of the methodology of research in the field of information analysis.
Received April 1976.
* Supported by the Science Research Council with assistance form IBM (UK) Scientific Centre, Peterlee.
L