A model-theoretic reconstruction of the operational semantics of logic programs
type: Item
instance of: scholarly article
title: A model-theoretic reconstruction of the operational semantics of logic programs
zbMATH Open document ID: 0788.68088
author: M. Falaschi
author: Giorgio Levi
author: M. Martelli
author: Catuscia Palamidessi
published in: Information and Computation
publication date: 1993-06-29T00:00:00Z
review text: This paper shows the relations between various models for logic programming, and compare their relative capability to capture features of the operational semantics. The main novelty consists of considering Herbrand interpretations with variables, based on which a new notion of truth is defined, which extends the classical one. The model thus defined is shown to characterize the set of the computed answer substitutions, and it is ``the most informative'' in this framework. Other models, corresponding to the ground success set, and to the atomic consequences set, are shown to be derivable from the former. The relation of ``containing more information'' is captured by an appropriate ordering on sets of atoms (interpretations). All these models are shown to be the fixpoints of suitable one-step consequence operators.
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 221545
zbMATH Keywords: logic programming
zbMATH Keywords: operational semantics
MaRDI profile type: Publication
full work available at URL: inco.1993.1015
OpenAlex ID: W2054839338
DOI: 10.1006/INCO.1993.1015
description: scientific article; zbMATH DE number 221545