Co-Logic Programming: Extending Logic Programming with Coinduction
From MaRDI portal
Publication:5428832
DOI10.1007/978-3-540-73420-8_42zbMath1171.68404OpenAlexW184244794MaRDI QIDQ5428832
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
Publication date: 28 November 2007
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73420-8_42
Related Items (23)
Deconfined Global Types for Asynchronous Sessions ⋮ Operational semantics of resolution and productivity in Horn clause logic ⋮ A Logical Encoding of Timed $$\pi $$-Calculus ⋮ Enhancing expressivity of checked corecursive streams ⋮ Checked corecursive streams: expressivity and completeness ⋮ Productive corecursion in logic programming ⋮ Proof-theoretic foundations of normal logic programs ⋮ Generalizing Inference Systems by Coaxioms ⋮ Unnamed Item ⋮ Flexible coinductive logic programming ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Program equivalence by circular reasoning ⋮ Idealized coinductive type systems for imperative object-oriented programs ⋮ Logic programming: laxness and saturation ⋮ Preemptive type checking ⋮ Unnamed Item ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ Proof Relevant Corecursive Resolution ⋮ Chosen-Ciphertext Security from Subset Sum ⋮ Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming ⋮ Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? ⋮ Type Inference by Coinductive Logic Programming ⋮ Integrating induction and coinduction via closure operators and proof cycles
Uses Software
This page was built for publication: Co-Logic Programming: Extending Logic Programming with Coinduction
