Coinduction; Denotational Semantics; Foundations of Logic Programming; Information Systems; Computational Theory and Mathematics; Theoretical Computer Science; Algebra and Number Theory

In this paper we study the semantics of Coinductive Logic Programming and clarify its intrinsic computational limits, which prevent, in particular, the definition of a complete, computable, operational semantics. We propose a new operational …