Space considerations in Prolog

  • A.Ja. Dikovskii
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /1/.
    St.J. Garland and D.C. Luckham. "Program schemes, recursion schemes, and formal languages", Journal of Computer and System Sciences, Vol. 7 (1973), 119–160.Google Scholar
  2. /2/.
    Sh.A. Greibach. "Theory of program structures: Schemes, semantics, verification", Lecture Notes in Computer Science, Vol. 36, Springer Verlag, 1975.Google Scholar
  3. /3/.
    A.Ja. Dikovskii. "Strongly bounded density recursion schemes are translatable into standard schemes". In: Mathematical logics, mathematical linguistics, and algorithms theory (Russ.), Kalinin, (1983), 31–39.Google Scholar
  4. /4/.
    K.L. Clark and F.G. McCabe. "Micro-PROLOG: programming in logic". Prentice-Hall, Englewood Cliffs, N.J., 1984.Google Scholar
  5. /5/.
    C.G. Hogger. "Introduction to logic programming", Academic Press, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • A.Ja. Dikovskii
    • 1
  1. 1."Tsentrprogrammsistem" Scientific-production AssociationKalininUSSR

Personalised recommendations