Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

CFLP: A Mathematica Implementation of a Distributed Constraint Solving System
Authors

Mircea Marin
Organization: University of Tsukuba
Department: Institute of Information Sciences and Electronics
Tetsuo Ida
Organization: University of Tsukuba
Department: Institute of Information Sciences and Electronics
Wolfgang Schreiner
Organization: Johannes Kepler University
Department: Research Institute for Symbolic Computation (RISC-Linz)
Journal / Anthology

The Mathematica Journal
Year: 2001
Volume: 8
Issue: 2
Page range: 287-300
Description

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.
Subjects

*Applied Mathematics > Optimization
*Engineering > Electrical Engineering
*Mathematics > Foundations of Mathematics > Logic
URL

http://www.mathematica-journal.com/issue/v8i2/features/cflp/