Constraint functional logic programming over finite domains

DOI10.1017/S1471068406002924MaRDI QIDQ5309079zbMATHFDO

Authors A. J. Fernández, T. Hortalá-González, F. Sáenz-Pérez, R. del Vado Vírseda

Publication date 9 October 2007

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

performance analysis

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2096830
• Constraint functional logic programming revisited
• scientific article; zbMATH DE number 1954119
• Design, implementation, and evaluation of the constraint language cc(FD)
• On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP

Cites work

• A deterministic lazy narrowing calculus
• A needed narrowing strategy
• An approach to declarative programming based on a rewriting logic
• Compiling constraints in clp(FD)
• Logic programming in the context of multiparadigm programming: the Oz experience
• Narrowing based procedures for equational disunification
• Towards a meaning of life

Cited in

(16)

• A proposal for the cooperation of solvers in constraint functional logic programming
• Editorial: Functional and (constraint) logic programming
• scientific article; zbMATH DE number 2086599 (Why is no real title available?)
• Constraint functional logic programming revisited
• Frontiers of Combining Systems
• A new generic scheme for functional logic programming with constraints
• Implementing relational specifications in a constraint functional logic language
• scientific article; zbMATH DE number 1692898 (Why is no real title available?)
• scientific article; zbMATH DE number 1954119 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• Programmed search in a timetabling problem over finite domains
• scientific article; zbMATH DE number 2096830 (Why is no real title available?)
• A functorial framework for constraint normal logic programming
• scientific article; zbMATH DE number 1420802 (Why is no real title available?)
• A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
• A proposal for disequality constraints in Curry

Describes a project that uses

Uses Software

• Prolog

This page was built for publication: Constraint functional logic programming over finite domains

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