Structural modelling of Prolog for metrication

  • Margaret Myers
Software Metrics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 387)


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.


abstraction measurement model Prolog structure 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. BAC87.
    Classification of flow-graph metrics, R Bache, Internal Paper CSSE/015/02, South Bank Polytechnic, London.Google Scholar
  2. BEN88.
    A software tool for the structural measurement of PROLOG, M.Sc. dissertation, Heriot-Watt University, Heather J.J.Benwood, 1988Google Scholar
  3. BOW82.
    DEC-10 Prolog User's Manual ed. D.L.Bowen University of EdinburghGoogle Scholar
  4. COE82.
    How to solve it with Prolog, H Coelho, J S Cotta, L M Pereira, Lisbon, 1982Google Scholar
  5. 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
  6. MAR82.
    A design methodology in Prolog programming, Z. Markusz, A A Kaposi, First International Logic Programming Conference, Marseilles, 1982.Google Scholar
  7. MAT85.
    A static analysis of Prolog programs, H Matsumoto, Sigplan Notices, V20, No.10, Oct.1985Google Scholar
  8. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Margaret Myers
    • 1
  1. 1.Centre for Systems and Software EngineeringSouth Bank PolytechnicLondon

Personalised recommendations