Termination of Simply Model Logic Programs with Dynamic Scheduling

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

    Research output: Book/ReportReportOther research output

    13 Downloads (Pure)


    In logic programming, dynamic scheduling indicates the feature by means of which the choice of the atom to be selected at each resolution step is done at runtime and does not follow a fixed selection rule such as the left-to-right one of Prolog. Input consuming derivations were introduced to model dynamic scheduling while abstracting from the technical details. In this article, we provide a sufficient and necessary criterion for termination of input consuming derivations of simply moded logic programs. The termination criterion we propose is based on a denotational semantics for partial derivations which is defined in the spirit of model-theoretic semantics previously proposed for left-to-right derivations.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages40
    Publication statusPublished - Mar 2003

    Publication series

    NameCTIT technical report series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)


    • SCS-Cybersecurity
    • EWI-5843
    • IR-56970

    Cite this