Affiliations: [a] University of Genova, DIBRIS, Via Dodecaneso 35, 16146 Genova, Italy. davide.ancona@unige.it | [b] University of Udine, DIMI, Via delle Scienze 206, 33100 Udine, Italy. agostino.dovier@uniud.it
Correspondence:
[*]
Address for correspondence: Univ. of Genova, DIBRIS, Via Dodecaneso 35, 16146 Genova, Italy.
Abstract: 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 semantics that allows a simple correctness result and the definition of a simple meta-interpreter. We compare, and prove the equivalence, with the operational semantics defined and used in other papers on this topic.
Keywords: Foundations of Logic Programming, Denotational Semantics, Coinduction
