Declarative semantics of input consuming logic programs

A. Bossi, N. Cocco, S. Etalle, S. Rossi

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    1 Citaat (Scopus)


    Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.
    Originele taal-2Engels
    TitelProgram Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
    RedacteurenM. Bruynooghe, K.K. Lau
    ISBN van geprinte versie3-540-22152-2
    StatusGepubliceerd - 2004

    Publicatie series

    NaamLecture Notes in Computer Science
    ISSN van geprinte versie0302-9743


    Duik in de onderzoeksthema's van 'Declarative semantics of input consuming logic programs'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit