Properties of Input-Consuming Derivations

Annalisa Bossi; Sabina Rossi; Sandro Etalle

doi:10.1017/S1471068401001326

Properties of Input-Consuming Derivations

Annalisa Bossi, Sabina Rossi, Sandro Etalle

Research output: Contribution to journal › Article › Academic › peer-review

10 Citations (Scopus)

155 Downloads (Pure)

Abstract

We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for input-consuming derivations. Furthermore, we show that, under suitable conditions, there exists an algebraic characterization of termination of input-consuming derivations.

Original language	Undefined
Pages (from-to)	125-154
Number of pages	30
Journal	Theory and practice of logic programming
Volume	2
Issue number	2
DOIs	https://doi.org/10.1017/S1471068401001326
Publication status	Published - 2002

Keywords

IR-38138
EWI-1755
METIS-209050

Access to Document

10.1017/S1471068401001326

Cite this

@article{99013acc43044ae49fca211b0409b9c5,

title = "Properties of Input-Consuming Derivations",

abstract = "We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for input-consuming derivations. Furthermore, we show that, under suitable conditions, there exists an algebraic characterization of termination of input-consuming derivations.",

keywords = "IR-38138, EWI-1755, METIS-209050",

author = "Annalisa Bossi and Sabina Rossi and Sandro Etalle",

note = "Imported from DIES",

year = "2002",

doi = "10.1017/S1471068401001326",

language = "Undefined",

volume = "2",

pages = "125--154",

journal = "Theory and practice of logic programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Properties of Input-Consuming Derivations

AU - Bossi, Annalisa

AU - Rossi, Sabina

AU - Etalle, Sandro

N1 - Imported from DIES

PY - 2002

Y1 - 2002

N2 - We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for input-consuming derivations. Furthermore, we show that, under suitable conditions, there exists an algebraic characterization of termination of input-consuming derivations.

AB - We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for input-consuming derivations. Furthermore, we show that, under suitable conditions, there exists an algebraic characterization of termination of input-consuming derivations.

KW - IR-38138

KW - EWI-1755

KW - METIS-209050

U2 - 10.1017/S1471068401001326

DO - 10.1017/S1471068401001326

M3 - Article

SN - 1471-0684

VL - 2

SP - 125

EP - 154

JO - Theory and practice of logic programming

JF - Theory and practice of logic programming

IS - 2

ER -