Constraint functional logic programming revisited

MaRDI QIDQ2849854zbMATH OpenFDO

Authors F. J. López-Fraguas, M. Rodríguez Artalejo, R. del Vado Vírseda

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052934

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• A new generic scheme for functional logic programming with constraints
• Constraint functional logic programming over finite domains
• Frontiers of Combining Systems
• A concurrent operational semantics for constraint functional logic programming
• On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP

Cited in

(13)

• Editorial: Functional and (constraint) logic programming
• A concurrent operational semantics for constraint functional logic programming
• Fair constraint merging tableaux in lazy functional programming style
• scientific article; zbMATH DE number 2048606 (Why is no real title available?)
• A new generic scheme for functional logic programming with constraints
• scientific article; zbMATH DE number 2096830 (Why is no real title available?)
• scientific article; zbMATH DE number 1692898 (Why is no real title available?)
• Constraint functional logic programming over finite domains
• A functorial framework for constraint normal logic programming
• Frontiers of Combining Systems
• A proposal for the cooperation of solvers in constraint functional logic programming
• scientific article; zbMATH DE number 2031599 (Why is no real title available?)
• scientific article; zbMATH DE number 2031626 (Why is no real title available?)

This page was built for publication: Constraint functional logic programming revisited

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