Structural resolution with co-inductive loop detection

Yue Li*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Downloads (Pure)


A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction. In particular, we present the operational semantics, called co-inductive structural resolution, of this novel combination and prove its soundness with respect to the greatest complete Herbrand model.

Original languageEnglish
Title of host publicationProceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
PublisherOpen Publishing Association
Number of pages16
Publication statusPublished - 14 Sept 2017

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Print)2075-2180

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Structural resolution with co-inductive loop detection'. Together they form a unique fingerprint.

Cite this