Constraint functional logic programming over finite domains

DOI10.1017/S1471068406002924MaRDI QIDQ5309079zbMATH OpenFDO

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)

Full work available at URL https://doi.org/10.1017/S1471068406002924

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)

• scientific article; zbMATH DE number 1420802 (Why is no real title available?)
• Editorial: Functional and (constraint) logic programming
• Programmed search in a timetabling problem over finite domains
• scientific article; zbMATH DE number 1954119 (Why is no real title available?)
• Implementing relational specifications in a constraint functional logic language
• 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?)
• A functorial framework for constraint normal logic programming
• Constraint functional logic programming revisited
• Frontiers of Combining Systems
• Functional Logic Programming: From Theory to Curry
• A proposal for the cooperation of solvers in constraint functional logic programming
• scientific article; zbMATH DE number 2086599 (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)