CFLP: a mathematica implementation of a distributed constraint solving system. The need for combining and making various constraint solvers cooperate is widely recognized. Such an integrated system would allow solving problems that cannot be solved by a single solver. CFLP (Constraint Functional Logic Programming System) is a distributed software system consisting of a functional logic programming interpreter running on one machine and a number of constraint solving engines running on other machines. The CFLP system is written entirely in Mathematica and uses the MathLink protocol for interprocess communication. The current implementation can solve problems expressible in functional logic and involving constraints such as systems of linear, polynomial, differential equations, and equations with invertible functions.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Estévez Martín, S.; Fernández, A. J.; Hortalá González, M. T.; Rodríguez Artalejo, M.; del Vado Vírseda, R.: A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme (2007)
- Estévez-Martín, S.; Fernández, A. J.; Hortalá-González, T.; Rodríguez-Artalejo, M.; Sáenz-Pérez, F.; del Vado-Vírseda, R.: A proposal for the cooperation of solvers in constraint functional logic programming (2007)
- López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael: A new generic scheme for functional logic programming with constraints (2007)
- Andrei, Ştefan; Chin, Wei-Ngan: Solving a class of higher-order equations over a group structure (2004)
- Ida, Tetsuo; Marin, Mircea; Suzuki, Taro: Higher-order lazy narrowing calculus: A solver for higher-order equations (2001)