Logic programming: laxness and saturation

DOI10.1016/j.jlamp.2018.07.004zbMath1400.68049arXiv1608.07708OpenAlexW2963276270WikidataQ129492598 ScholiaQ129492598MaRDI QIDQ1994355

Ekaterina Komendantskaya, A. John Power

Publication date: 1 November 2018

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

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

zbMATH Keywords

coalgebralogic programmingsaturationLawvere theoriescoinductive derivation treeLax transformations

Mathematics Subject Classification ID

Logic programming (68N17) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Unnamed Item ⋮ Unnamed Item

Uses Software

• CoALP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploiting parallelism in coalgebraic logic programming
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• On the algebraic structure of declarative programming languages
• Two-dimensional monad theory
• A theory of observables for logic programs
• Lax naturality through enrichment
• A productivity checker for logic programming
• Coinductive soundness of corecursive type class resolution
• Operational semantics of resolution and productivity in Horn clause logic
• Proof Relevant Corecursive Resolution
• Saturated Semantics for Coalgebraic Logic Programming
• Coalgebraic Derivations in Logic Programming
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
• Coalgebraic Semantics for Derivations in Logic Programming
• An interactive semantics of logic programming
• Productive corecursion in logic programming
• Introduction to bicategories
• Bialgebraic Semantics for Logic Programming
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness
• Coalgebraic logic programming: from Semantics to Implementation
• A Type-Theoretic Approach to Resolution
• An algebraic formulation for data refinement
• Categorical semantics for programming languages

This page was built for publication: Logic programming: laxness and saturation