Computer Science – Programming Languages
Scientific paper
2001-01-23
Computer Science
Programming Languages
33 pages
Scientific paper
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.
Bossi Annalisa
Etalle Sandro
Rossi Sabina
No associations
LandOfFree
Properties of Input-Consuming Derivations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Properties of Input-Consuming Derivations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Properties of Input-Consuming Derivations will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-2660