On implementing Prolog in functional programming

  title={On implementing Prolog in functional programming},
  author={Mats Carlsson},
  journal={New Generation Computing},
This report surveys techniques for implementing the programming language Prolog. It focuses on explaining the procedural semantics of the language in terms of functional programming constructs. The techniquessuccess continuations andproof streams are introduced, and it is shown how Horn clause interpreters can be built upon them. Continuations are well known from denotational semantics theory, in this paper it is shown that they are viable constructs in actual programs. Other issues include… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 11 references

LM-Prolog - - The Language and Its Implementation," UPMAIL

  • M. Carlsson
  • Technical Report (Computing Science Department,
  • 1984

Abstract PROLOG machine- -a specification" Department of Computing, Imperial College, London

  • W. A. Kornfeld
  • 1983

LM-Prolog User Manual,

  • M. Carlsson, K. M. Kahn
  • UPMAIL Technical Report,
  • 1983

" An Interpreting Algorithm for Logic Programs

  • R. H. van Emden
  • 1982

The Software for Prolog and Logic Programming," in Logic Programming, K. Clark and S.-.~

  • H. J. Komorowski
  • Komorowski, H. J. : "A Specification of an…
  • 1982

Prolog - - compiling predicate logic programs" (Department of Artificial Intelligence, University of Edinburgh

  • Warren, D.H.D. Implementing
  • 1977

Similar Papers

Loading similar papers…