Coinductive constraint logic programming

DOI10.1007/978-3-642-29822-6_20MaRDI QIDQ2900266zbMATH OpenOpenAlexWikidataFDO

Authors Neda Saeedloei, Gopal Gupta

Publication date 20 July 2012

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29822-6_20

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Coinductive Logic Programming
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Flexible coinductive logic programming
• Coinductive Logic Programming and Its Applications
• Infinite computation, co-induction and computational logic

Cited in

(12)

• Tabling, rational terms, and coinduction finally together!
• (Co-)inductive semantics for constraint handling rules
• Infinite computation, co-induction and computational logic
• A logical encoding of timed \(\pi\)-calculus
• Coinductive logic programming with negation
• Coinductive Logic Programming and Its Applications
• Type Inference by Coinductive Logic Programming
• Flexible coinductive logic programming
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming
• Implementing logical connectives in constraint programming
• Kripke semantics for higher-order type theory applied to constraint logic programming languages

Describes a project that uses

Uses Software

• Prolog

This page was built for publication: Coinductive constraint logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900266)