Input-consuming programs are logic programs with an additional restriction on the selectability (actually, on the resolvability) of atoms. This class of programs arguably allows to model logic programs employing a dynamic selection rule and constructs such as delay declarations: as shown also in [5], a large number of them are actually input-consuming. In this paper we show that - under some syntactic restrictions - the S-semantics of a program is correct and fully abstract also for inputconsuming programs. This allows us to conclude that for a large class of programs employing delay declarations there exists a model-theoretic semantics which is equivalent to the operational one.
CITATION STYLE
Bossi, A., Etalle, S., & Rossi, S. (2000). Semantics of input-consuming logic programs. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 1861, pp. 194–208). Springer Verlag. https://doi.org/10.1007/3-540-44957-4_13
Mendeley helps you to discover research relevant for your work.