Advertisement

Abstract

Process interpretation of logic programs establishes the abstract computational model of concurrent logic programming in which the active objects of a computation are conceived as concurrent processes. Process interpretation, generally, is in contrast to procedural interpretation of logic programs [Ueda89]. The latter one provides the abstract computational model of conventional (sequential) Prolog, as introduced by Kowalski in ([Kowalski79a], [Kowalski79b]).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Deutscher Universitäts-Verlag GmbH, Wiesbaden 1993

Authors and Affiliations

  • Uwe Glässer
    • 1
  1. 1.Universität-Gesamthochschule-PaderbornDeutschland

Personalised recommendations