Properties of input-consuming derivations

A. Bossi, S. Etalle, S. Rossi

    Research output: Contribution to journalArticleAcademicpeer-review

    11 Citations (SciVal)
    1 Downloads (Pure)


    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 languageEnglish
    Pages (from-to)125-154
    JournalTheory and Practice of Logic Programming
    Issue number2
    Publication statusPublished - 2002


    Dive into the research topics of 'Properties of input-consuming derivations'. Together they form a unique fingerprint.

    Cite this