Coalgebraic logic programming: from Semantics to Implementation

DOI10.1093/logcom/exu026zbMath1344.68044arXiv1312.6568OpenAlexW1989408212MaRDI QIDQ5739982

Martin Schmidt, Ekaterina Komendantskaya, A. John Power

Publication date: 7 July 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.6568

zbMATH Keywords

coalgebraparallelismlogic programmingcoinductioncorecursionobservational semantics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Logic programming (68N17) Categorical semantics of formal languages (18C50)

Related Items (12)

Operational semantics of resolution and productivity in Horn clause logic ⋮ Enhancing expressivity of checked corecursive streams ⋮ Unnamed Item ⋮ Checked corecursive streams: expressivity and completeness ⋮ Productive corecursion in logic programming ⋮ Unnamed Item ⋮ Flexible coinductive logic programming ⋮ Logic programming: laxness and saturation ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ A Type-Theoretic Approach to Resolution ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ CoALP

This page was built for publication: Coalgebraic logic programming: from Semantics to Implementation