Structural modelling of Prolog for metrication
This Paper develops an analytical modelling system for Prolog as a particular case of the general process of modelling. The model reveals the procedural and data structures of Prolog and provides an aid to measurement-based quality assurance. In the course of modelling, distinct program features are identified and removed one by one, to reveal the logic component of a Prolog program. Two different abstractions are applied to the logic component, each yielding a different set of ‘primes’ and a ‘structure’ in measurable forms. The model yields a sound basis for metrication.
Keywordsabstraction measurement model Prolog structure
Unable to display preview. Download preview PDF.
- BAC87.Classification of flow-graph metrics, R Bache, Internal Paper CSSE/015/02, South Bank Polytechnic, London.Google Scholar
- BEN88.A software tool for the structural measurement of PROLOG, M.Sc. dissertation, Heriot-Watt University, Heather J.J.Benwood, 1988Google Scholar
- BOW82.DEC-10 Prolog User's Manual ed. D.L.Bowen University of EdinburghGoogle Scholar
- COE82.How to solve it with Prolog, H Coelho, J S Cotta, L M Pereira, Lisbon, 1982Google Scholar
- FIN84.A review of the fundamental concepts of measurement. L Finkelstein and M S Leaning, Measurement, vol 2 No 1 Jan–Mar 1984.Google Scholar
- MAR82.A design methodology in Prolog programming, Z. Markusz, A A Kaposi, First International Logic Programming Conference, Marseilles, 1982.Google Scholar
- MAT85.A static analysis of Prolog programs, H Matsumoto, Sigplan Notices, V20, No.10, Oct.1985Google Scholar
- WHI85.A rigorous approach to structural analysis and metrication of software, W R Whitty, N E Fenton, A A Kaposi, Software and Microsystems, Vol 4, No. 1, February 1985.Google Scholar