Coalgebraic Semantics for Derivations in Logic Programming

DOI10.1007/978-3-642-22944-2_19zbMath1344.68043OpenAlexW180563605MaRDI QIDQ3090874

Ekaterina Komendantskaya, A. John Power

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: http://opus.bath.ac.uk/26422/1/Power_CALCO_2011_268.pdf

zbMATH Keywords

coalgebralogic programmingSLD-resolutionLawvere theorieslax natural transformationsoplax maps of coalgebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (7)

Exploiting parallelism in coalgebraic logic programming ⋮ A game semantics for disjunctive logic programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Logic programming: laxness and saturation ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ Integrating induction and coinduction via closure operators and proof cycles

Uses Software

• CoALP

This page was built for publication: Coalgebraic Semantics for Derivations in Logic Programming