Volume 8, Issue 2
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.
(If you don't have a copy of Mathematica, you can view the notebook
Copyright © 2001 Wolfram Media, Inc. All rights reserved.