# Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper

13 Sep 2018Ekaterina Komendantskaya DrYue Li

Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in the literature before, but a systematic analysis of these two kinds of proofs and of their relation was lacking... (read more)

PDF Abstract