A look-ahead interpreter for sequential Prolog and its implementation

  • Ashok Kumar
  • V. M. Malhotra
Session 9 Software Techology
Part of the Lecture Notes in Computer Science book series (LNCS, volume 287)


Interpreter Prolog Look-ahead 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    Clocksin, W.F. and C.S. Mellish, Programming in Prolog, (2nd edition), Springer-Verlag, New York, 1984.Google Scholar
  3. 3.
    Naish, L., Negation and Control in Prolog, LNCS 238, Springer-Verlag, Berlin, 1986.Google Scholar
  4. 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. 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. 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. 7.
    Llyod, J.W., Foundations of Logic Programming, Springer-Verlag, Berlin 1984.Google Scholar
  8. 8.
    Ueda, K., Guarded Horn Clauses, Logic Programming '85, LNCS 221 (ed. E. Wade), Springer-Verlag, Berlin, 1985.Google Scholar
  9. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Ashok Kumar
    • 1
  • V. M. Malhotra
    • 1
  1. 1.Department of Computer Science and EngineeringIndian Institute of Technology KanpurKanpurIndia

Personalised recommendations