Declarative Semantics of Input Consuming Logic Programs

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 deynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [?], [?] and [?] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.

• Type: Conference
• Year: 2004
• Where: LOPSTR
• Authors: Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
• Keywords: Dynamic Scheduling, Input Consuming Derivations, LOPSTR 2004, Most Logic Programming