Towards a process semantics in the logic programming style

  • Andrea Corradini
  • Ugo Montanari
Conference paper

DOI: 10.1007/3-540-52282-4_35

Part of the Lecture Notes in Computer Science book series (LNCS, volume 415)
Cite this paper as:
Corradini A., Montanari U. (1990) Towards a process semantics in the logic programming style. In: Choffrut C., Lengauer T. (eds) STACS 90. STACS 1990. Lecture Notes in Computer Science, vol 415. Springer, Berlin, Heidelberg

Abstract

We propose a new, more informative semantics for HCL: the meaning of a program is a set of observations over successful computations (refutations), which is parametric with respect to the observation function. The semantics is given in a logic programming style, i.e. with three different although equivalent characterizations (operational, model-theoretic and fixpoint). This semantics should fill the gap between the classic HCL semantics (not informative enough to be generalized to concurrent logic languages), and the process semantics used for imperative languages. Consistency of our approach with the classic semantics of HCL is checked by considering the minimal observation function, which observes just the initial and final state of a computation.

Actually, the semantic definitions are given at the very basic level of transition systems, and it is shown how to represent a logic program with such a system. Therefore, the same constructions can be applied to every formalism representable as a transition system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • Andrea Corradini
    • 1
  • Ugo Montanari
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations