Abstract complexity of prolog based on WAM

  • Alexander Ja. Dikovsky
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 714)


Simple definitions of time and space complexity measures of Prolog programs based on an abstraction of Warren Abstract Machine instructions set is suggested. Its effect is discussed on practical measuring time and space consumption, complexity classifications and optimization of programs.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ait-Kaci, H.: Warren's Abstract Machine. A Tutorial Reconstruction. The MIT Press, 1991.Google Scholar
  2. 2.
    Appleby, K., Carlsson, M., Haridi, S., Sahlin, D.: Garbage collection for Prolog based on WAM. Communications of the ACM, v.31, n.6, (June 1988), 719–741.Google Scholar
  3. 3.
    Bruynooghe, M.: The memory management of Prolog implementations. in: Logic Programming, (N.Y, Academic Press, 1982) 193–210.Google Scholar
  4. 4.
    Debray, S.K., Lin, Nai-Wei.: Automatic Complexity Analysis of Logic Programs. In: Logic Programming. Proc. of the 8th Intern. Conf. (K.Furikawa Ed.), 1991.Google Scholar
  5. 5.
    Dikovsky, A.Ja.: Space considerations in Prolog. in: Meyer, A.R. Taitslin,M.A. ed., Proc. of the Symp. on Logical Foundations of Comput. Sci. ”Logic at Botik'89”, (Springer-Verlag, 1989), 101–107.Google Scholar
  6. 6.
    Dikovsky, A.Ja.: On computational complexity of Prolog programs. Theoretical Computer Science, 1993, in press.Google Scholar
  7. 7.
    Lewis, H.R.: Complexity results for classes of quantificational formulas. J.Comput. and Syst. Sci., 21 (1980), 317–353.Google Scholar
  8. 8.
    Lloyd, J.W.: Foundations of logic programming. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo (1984).Google Scholar
  9. 9.
    Tick, E. Warren, D.H.D.: Towards a pipelined Prolog processor. New Generation Computing, 2 (1984) 323–345.Google Scholar
  10. 10.
    Warren, D.H.D.: An improved Prolog implementation which optimizes tail recursion. in: Tarnlund, S.A. ed.,Proc. of the Logic Programming Workshop, (Debrecen, Hungary, 1980).Google Scholar
  11. 11.
    Warren, D.H.D.: An abstract Prolog instruction set.-Tech. note 309, SRI Intern. Menlo Park, CA, October 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Alexander Ja. Dikovsky
    • 1
  1. 1.Russian Academy Inst. for Applied MathematicsMoscowRussia

Personalised recommendations