Properties of input-consuming derivations

10 years 5 months ago
Properties of input-consuming derivations
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming 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.
Annalisa Bossi, Sandro Etalle, Sabina Rossi
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where TPLP
Authors Annalisa Bossi, Sandro Etalle, Sabina Rossi
Comments (0)