CoALP

swMATH16105MaRDI QIDQ27977

No author found.

Described by source

• Exploiting parallelism in coalgebraic logic programming
• Coalgebraic logic programming: from Semantics to Implementation

Related Items (21)

Operational semantics of resolution and productivity in Horn clause logic ⋮ Enhancing expressivity of checked corecursive streams ⋮ A productivity checker for logic programming ⋮ A game semantics for disjunctive logic programming ⋮ Unnamed Item ⋮ Productive corecursion in logic programming ⋮ Unnamed Item ⋮ Flexible coinductive logic programming ⋮ A coinductive approach to proof search through typed lambda-calculi ⋮ Constraint logic programming with a relational machine ⋮ Kripke semantics for higher-order type theory applied to constraint logic programming languages ⋮ Logic programming: laxness and saturation ⋮ Unnamed Item ⋮ 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 ⋮ Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming ⋮ Coalgebraic Semantics for Derivations in Logic Programming ⋮ Bialgebraic Semantics for Logic Programming ⋮ Integrating induction and coinduction via closure operators and proof cycles ⋮ Coalgebraic Derivations in Logic Programming

This page was built for software: CoALP