Skip to main content
SpringerLink
Log in
Book cover

International Conference on Foundations of Software Technology and Theoretical Computer Science

FSTTCS 1987: Foundations of Software Technology and Theoretical Computer Science pp 470–484Cite as

A look-ahead interpreter for sequential Prolog and its implementation

  • Session 9 Software Techology
  • Conference paper
  • First Online:

  • 120 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 287))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bruynooghe, M. and L. M. Pereira, Deductive Revision by Intelligent Backtracking, in Implementation of Prolog, J. Campbell (ed.), Ellis Horwood Limited, Chichester, 1984.

    Google Scholar 

  2. Clocksin, W.F. and C.S. Mellish, Programming in Prolog, (2nd edition), Springer-Verlag, New York, 1984.

    Google Scholar 

  3. Naish, L., Negation and Control in Prolog, LNCS 238, Springer-Verlag, Berlin, 1986.

    Google Scholar 

  4. Heck, N. and J. Avenhaus, On Logic Programs with Data-Driven Computations, UROCAL '85, Conf. Proc. in LNCS 204 (ed. B.F. Caviness), Springer-Verlag, Berlin, 1985.

    Google Scholar 

  5. Kahn, K.M. and M. Carlsson, The Compilation of Prolog Programs Without Use of a Prolog Compiler, FGCS '84, Proc. of the Intr. Conf. on Fifth Generation Computer Systems, Nov. 6–9, 1984, OHMSHA Ltd., Tokyo, 1984.

    Google Scholar 

  6. Kumar, Ashok, A Look-ahead Interpreter for Prolog, M. Tech. thesis, Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, 1987.

    Google Scholar 

  7. Llyod, J.W., Foundations of Logic Programming, Springer-Verlag, Berlin 1984.

    Google Scholar 

  8. Ueda, K., Guarded Horn Clauses, Logic Programming '85, LNCS 221 (ed. E. Wade), Springer-Verlag, Berlin, 1985.

    Google Scholar 

  9. Warren, D.H.D., Implementing Prolog — Compiling Logic Programs 1 and 2, DAI Res. Reps. 39 and 40, Univ. of Edinburgh, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, 208 016, Kanpur, India

    Ashok Kumar & V. M. Malhotra

Authors
  1. Ashok Kumar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. M. Malhotra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kesav V. Nori

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kumar, A., Malhotra, V.M. (1987). A look-ahead interpreter for sequential Prolog and its implementation. In: Nori, K.V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1987. Lecture Notes in Computer Science, vol 287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18625-5_69

Download citation

  • DOI: https://doi.org/10.1007/3-540-18625-5_69

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18625-0

  • Online ISBN: 978-3-540-48033-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation