New Generation Computing

, Volume 2, Issue 4, pp 347–359

On implementing Prolog in functional programming

  • Mats Carlsson
Special Issue

DOI: 10.1007/BF03037326

Cite this article as:
Carlsson, M. New Gener Comput (1984) 2: 347. doi:10.1007/BF03037326

Abstract

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.

Keywords

ContinuationsFunctional ProgrammingInterpretersLogic ProgrammingProlog

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