Coalgebraic Derivations in Logic Programming

E Komendantskaya, J Power

Research output: Chapter in Book/Report/Conference proceedingChapter

12 Citations (Scopus)
48 Downloads (Pure)

Abstract

Coalgebra may be used to provide semantics for SLD-derivations, both finite and infinite. We first give such semantics to classical SLD-derivations, proving results such as adequacy, soundness and completeness. Then, based upon coalgebraic semantics, we propose a new sound and complete algorithm for parallel derivations. We analyse this new algorithm in terms of the Theory of Observables, and we prove soundness, completeness, correctness and full abstraction results.
Original languageEnglish
Title of host publicationComputer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
EditorsM Bezem
Place of PublicationDagstuhl, Germany
PublisherLeibniz International Proceedings in Informatics
Pages352-366
Number of pages15
ISBN (Print)978-3-939897-32-3
DOIs
Publication statusPublished - Sep 2011

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Fingerprint Dive into the research topics of 'Coalgebraic Derivations in Logic Programming'. Together they form a unique fingerprint.

Cite this