TOPOLOGY AND THE SEMANTICS OF LOGIC PROGRAMS
Anthony Karel Seda · Fundamenta Informaticae · 1995
We introduce topologies on spaces of interpretations which extend and generalise the query and positive query topologies of Batarekh and Subrahmanian. We study continuity in these topologies of the immediate consequence map associated with any normal logic program and provide necessary and sufficient conditions for continuity to hold. We relate these ideas to (i) computational power of programs; (ii) canonical programs; (iii) the declarative semantics of definite programs; (iv) Maher's down continuous programs; (v) the decency thesis of Jaffar, Lassez and Maher, and (vi) compactness of sets of fixed points and models.