Constraint functional logic programming over finite domains
From MaRDI portal
Publication:5309079
DOI10.1017/S1471068406002924zbMATH Open1129.68020MaRDI QIDQ5309079FDOQ5309079
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)
Recommendations
Cites Work
- A needed narrowing strategy
- Narrowing based procedures for equational disunification
- Compiling constraints in clp(FD)
- A deterministic lazy narrowing calculus
- Towards a meaning of life
- An approach to declarative programming based on a rewriting logic
- Logic programming in the context of multiparadigm programming: the Oz experience
Cited In (16)
- Editorial: Functional and (constraint) logic programming
- Programmed search in a timetabling problem over finite domains
- Title not available (Why is that?)
- Implementing relational specifications in a constraint functional logic language
- Title not available (Why is that?)
- A new generic scheme for functional logic programming with constraints
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
- A proposal for disequality constraints in Curry
- Title not available (Why is that?)
Uses Software
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)
