New Generation Computing

, Volume 2, Issue 4, pp 347–359

On implementing Prolog in functional programming

  • Mats Carlsson
Special Issue


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 implementation of logical variables, structure sharing vs. structure copying, determinacy, builtin predicates, andcut.


Continuations Functional Programming Interpreters Logic Programming Prolog 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Ohmsha, Ltd. and Springer 1984

Authors and Affiliations

  • Mats Carlsson
    • 1
  1. 1.UPMAIL, Uppsala Programming Methodology and Artificial Intelligence Laboratory, Department of Computing ScienceUppsala UniversityUppsalaSweden

Personalised recommendations